| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2004 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000002409 |
| Erschienen in | Proceedings, 3rd International Workshop on Critical Systems Development with UML, CSD-UML '04, Lisbon, Portugal, 11.-15.10.04 |
| Seiten | 56-70 |
| Serie | TU Munich Technical Report TUM-I0415 |