@inproceedings{JAOMTSPWJTAuJ062007,
               author = {J. Behrend, A. Braun, O. Bringmann, M. Krause, T. Kropf, S. Lämmermann, P. Nalla, W. Rosenstiel, J. Ruf, T. Schönwald, A. Viehl u. J. Zimmermann},
               title = {Entwurf und Verifikation von Hardware/Software - Systemen},
               booktitle = {Kooperationsmarkt des Ekompass-Workshops},
               year = {2007},
               month = {06},
               address = {Hannover, Germany}
}