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
![](/vufind/images/ULB/publications_list.png)
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 |