par Doyen, Laurent
;Henzinger, Thomas A.;Raskin, Jean-François ![](/vufind/images/ULB/publications_list.png)
Référence Lecture notes in computer science, 3829 LNCS, page (144-161)
Publication Publié, 2005
![](/vufind/images/ULB/publications_list.png)
![](/vufind/images/ULB/publications_list.png)
Référence Lecture notes in computer science, 3829 LNCS, page (144-161)
Publication Publié, 2005
Article révisé par les pairs