par Hermanns, Holger;Larsen, Kim Guldstrand;Raskin, Jean-François ;Tretyakov, Jan
Référence ACM Annual Computer Science Conference, page (301-302)
Publication Publié, 2011
Référence ACM Annual Computer Science Conference, page (301-302)
Publication Publié, 2011
Article révisé par les pairs
Titre: |
|
Auteur: | Hermanns, Holger; Larsen, Kim Guldstrand; Raskin, Jean-François; Tretyakov, Jan |
Informations sur la publication: | ACM Annual Computer Science Conference, page (301-302) |
Statut de publication: | Publié, 2011 |
Sujet CREF: | Sciences exactes et naturelles |
Langue: | N/A |
Identificateurs: | urn:issn:1041-4517 |