| Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2005 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000095430 |
| Erschienen in | FDL'05 : Eighth International Forum on Specification and Design Languages, Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland, September 27-30, 2005 |
| Verlag | EPFL |
| Seiten | 429–431 |