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