par Henzinger, Thomas A.;Raskin, Jean-François ;Schobbens, Pierre-Yves
Référence Lecture notes in computer science, 1443, page (580-591)
Publication Publié, 1998
Article révisé par les pairs
Résumé : ICALP'98