par Henzinger, Thomas A.;Raskin, Jean-François
Référence Communications of the ACM, 58, 2, page (86)
Publication Publié, 2015
Référence Communications of the ACM, 58, 2, page (86)
Publication Publié, 2015
Article révisé par les pairs
Titre: |
|
Auteur: | Henzinger, Thomas A.; Raskin, Jean-François |
Informations sur la publication: | Communications of the ACM, 58, 2, page (86) |
Statut de publication: | Publié, 2015 |
Sujet CREF: | Informatique générale |
Informatique mathématique | |
Note générale: | SCOPUS: no.j |
Langue: | Anglais |
Identificateurs: | urn:issn:0001-0782 |
info:doi/10.1145/2701001 | |
info:scp/84922509160 | |
http://doi.acm.org/10.1145/2701001 |