%0 Conference Paper %1 conf/mbmv/ZillerS06 %A Ziller, Roberto M. %A Schmid, Detlef %B MBMV %D 2006 %E Straube, Bernd %E Freibothe, Martin %I Fraunhofer Institut für Integrierte Schaltungen %K dblp %P 359-368 %T Erstellung korrekter Spezifikationen für diskrete Systeme. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2006.html#ZillerS06

@inproceedings{conf/mbmv/ZillerS06, added-at = {2012-06-28T00:00:00.000+0200}, author = {Ziller, Roberto M. and Schmid, Detlef}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/265c62500cf1d050c0d0b7a1ec321b338/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2006}, editor = {Straube, Bernd and Freibothe, Martin}, interhash = {530428f4d1773029e92206f08788cbff}, intrahash = {65c62500cf1d050c0d0b7a1ec321b338}, keywords = {dblp}, pages = {359-368}, publisher = {Fraunhofer Institut für Integrierte Schaltungen}, timestamp = {2016-02-02T14:12:45.000+0100}, title = {Erstellung korrekter Spezifikationen für diskrete Systeme.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2006.html#ZillerS06}, year = 2006 }