par Mühlberg, Jan Tobias 
;Lüttgen, Gerald
Référence 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006(August 26-27, and August 31, 2006: Bonn, Germany), Formal Methods: Applications and Technology, Lecture notes in computer science (4346), page (211–226)
Publication Publié, 2007
;Lüttgen, GeraldRéférence 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006(August 26-27, and August 31, 2006: Bonn, Germany), Formal Methods: Applications and Technology, Lecture notes in computer science (4346), page (211–226)
Publication Publié, 2007
Publication dans des actes
| Titre: |
|
| Auteur: | Mühlberg, Jan Tobias; Lüttgen, Gerald |
| Informations sur la publication: | 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006(August 26-27, and August 31, 2006: Bonn, Germany), Formal Methods: Applications and Technology, Lecture notes in computer science (4346), page (211–226) |
| Statut de publication: | Publié, 2007 |
| Sujet CREF: | Informatique générale |
| Langue: | Anglais |
| Identificateurs: | urn:issn:0302-9743 |
| info:doi/10.1007/978-3-540-70952-7_14 | |
| 9783540709510 |
