par Ganty, Pierre
;Maquet, Nicolas
;Raskin, Jean-François 
Référence Theoretical computer science, 411, 38-39, page (3444-3459)
Publication Publié, 2010-08



Référence Theoretical computer science, 411, 38-39, page (3444-3459)
Publication Publié, 2010-08
Article révisé par les pairs
Fichier importé d'Elsevier |