par Chatterjee, Krishnendu;Doyen, Laurent ;Henzinger, Thomas A.;Raskin, Jean-François
Référence Lecture notes in computer science, 4207 LNCS, page (287-302)
Publication Publié, 2006
Article révisé par les pairs
Fichier(s) déposé(s) par l'encodeur