par Berwanger, Dietmar;Chatterjee, Krishnendu;De Wulf, Martin
;Doyen, Laurent
;Henzinger, Thomas A.
Référence Lecture notes in computer science, 5505 LNCS, page (58-61)
Publication Publié, 2009


Référence Lecture notes in computer science, 5505 LNCS, page (58-61)
Publication Publié, 2009
Article révisé par les pairs