par Bohy, Aaron;Bruyère, Véronique;Filiot, Emmanuel
;Raskin, Jean-François 
Référence Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, page (169-184)
Publication Publié, 2013


Référence Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, page (169-184)
Publication Publié, 2013
Partie d'ouvrage collectif
Titre: |
|
Auteur: | Bohy, Aaron; Bruyère, Véronique; Filiot, Emmanuel; Raskin, Jean-François |
Informations sur la publication: | Tools and Algorithms for the Construction and Analysis of Systems, Springer Berlin Heidelberg, page (169-184) |
Statut de publication: | Publié, 2013 |
Sujet CREF: | Informatique mathématique |
Langue: | Anglais |