@inproceedingsDö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} @COMMENTBibtex file generated on