par Filiot, Emmanuel
;Gentilini, Raffaella
;Raskin, Jean-François 
Référence Logical methods in computer science, 11, 3
Publication Publié, 2015
;Gentilini, Raffaella
;Raskin, Jean-François 
Référence Logical methods in computer science, 11, 3
Publication Publié, 2015
Article révisé par les pairs
| Fichier importé via le DOI |



