par Majumdar, Rupak R.;Raskin, Jean-François 
Référence Handbook of Model-Checking, Springer, page (20)
Publication A Paraître, 2010

Référence Handbook of Model-Checking, Springer, page (20)
Publication A Paraître, 2010
Partie d'ouvrage collectif
Titre: |
|
Auteur: | Majumdar, Rupak R.; Raskin, Jean-François |
Informations sur la publication: | Handbook of Model-Checking, Springer, page (20) |
Statut de publication: | A Paraître, 2010 |
Sujet CREF: | Informatique mathématique |
Note générale: | SCOPUS: ch.b |
Langue: | Anglais |
Identificateurs: | info:doi/10.1007/978-3-319-10575-8_31 |
info:scp/85054046715 |