par Brihaye, Thomas;Doyen, Laurent ;Geeraerts, Gilles ;Ouaknine, J.;Worrell, J.;Raskin, Jean-François
Référence Lecture notes in computer science, 6756
Publication Publié, 2011
Référence Lecture notes in computer science, 6756
Publication Publié, 2011
Article révisé par les pairs
Titre: |
|
Auteur: | Brihaye, Thomas; Doyen, Laurent; Geeraerts, Gilles; Ouaknine, J.; Worrell, J.; Raskin, Jean-François |
Informations sur la publication: | Lecture notes in computer science, 6756 |
Statut de publication: | Publié, 2011 |
Sujet CREF: | Informatique générale |
Langue: | N/A |
Identificateurs: | urn:issn:0302-9743 |