par Brihaye, Thomas;Henzinger, Thomas A.;Prabhu, Vinayak S.;Raskin, Jean-François
Référence Lecture notes in computer science, 4596 LNCS, page (825-837)
Publication Publié, 2007
Article révisé par les pairs