@inproceedings{Dö2009,
Author = {Dölling, Rolando and Senger, Philipp and Jores, Peter and Stehno, Christian and Rosenstiel, Wolfgang},
Title = {Schnelle Verifikation von A/MS-Systemen für Automobilanwendungen},

Year = {2009},
Pages = {61-62},
Month = {05},
Editor = {VDE Verlag GmbH},
Publisher = {VDE Verlag GmbH},
Address = {Bismarckstraße 33, 10625 Berlin},
Isbn = {978-3-8007-3165-7},
Booktitle = {Proceedings edaWorkshop 09},
Organization = {edacentrum},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }