par Velner, Yaron;Chatterjee, Krishnendu;Doyen, Laurent ;Henzinger, Thomas A.;Rabinovich, Alexander;Raskin, Jean-François
Référence Information and computation, 241, page (177-196)
Publication Publié, 2015-04
Référence Information and computation, 241, page (177-196)
Publication Publié, 2015-04
Article révisé par les pairs
Fichier importé d'Elsevier |