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 |