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

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
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 |