Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2006 |
Sprache | Englisch |
Identifikator | ISBN: 978-0-7695-3071-0 KITopen-ID: 1000017615 |
Erschienen in | Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, November 15 - 19, 2006, Paphos, Cyprus |
Verlag | IEEE Computer Society |
Seiten | 119 - 128 |