par Abdulla, Parosh Aziz;Sandberg, Sven;Clemente, Lorenzo ;Mayr, Richard
Référence Logical methods in computer science, 10, 4, 21
Publication Publié, 2014-12
Article révisé par les pairs
Fichier importé via le DOI