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 |
