par Doyen, Laurent
;Henzinger, Thomas A.;Raskin, Jean-François 
Référence International journal of foundations of computer science, 19, 3, page (549-563)
Publication Publié, 2008-06


Référence International journal of foundations of computer science, 19, 3, page (549-563)
Publication Publié, 2008-06
Article révisé par les pairs