AIFB Jahresbericht 10/11. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Karlsruher Institut für Technologie KIT
Oberweis, Andreas [Hrsg.]
; Schmeck, Hartmut [Hrsg.]; Seese, Detlef [Hrsg.]; Stude, Rudi [Hrsg.]; Tai, Stefan [Hrsg.]
; Schmeck, Hartmut [Hrsg.]; Seese, Detlef [Hrsg.]; Stude, Rudi [Hrsg.]; Tai, Stefan [Hrsg.]
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsmonat/-jahr | 08.2011 |
| Sprache | Deutsch |
| Identifikator | ISBN: 978-3-9810441-8-8 urn:nbn:de:swb:90-295381 KITopen-ID: 1000029538 |
| Verlag | Karlsruher Institut für Technologie (KIT) |