par Mühlberg, Jan Tobias 
;Lüttgen, Gerald
Référence 17th International SPIN Workshop(September 27-29, 2010: Enschede, The Netherlands), Model Checking Software, Lecture notes in computer science (6349), page (4–21)
Publication Publié, 2010
;Lüttgen, GeraldRéférence 17th International SPIN Workshop(September 27-29, 2010: Enschede, The Netherlands), Model Checking Software, Lecture notes in computer science (6349), page (4–21)
Publication Publié, 2010
Publication dans des actes
| Titre: |
|
| Auteur: | Mühlberg, Jan Tobias; Lüttgen, Gerald |
| Informations sur la publication: | 17th International SPIN Workshop(September 27-29, 2010: Enschede, The Netherlands), Model Checking Software, Lecture notes in computer science (6349), page (4–21) |
| Statut de publication: | Publié, 2010 |
| Sujet CREF: | Informatique générale |
| Langue: | Anglais |
| Identificateurs: | urn:issn:0302-9743 |
| info:doi/10.1007/978-3-642-16164-3_2 | |
| 9783642161636 |
