%0 Conference Proceedings %1 conf/mbmv/2011 %B MBMV %D 2011 %E Oppenheimer, Frank %K no.pdf %T Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011

@proceedings{conf/mbmv/2011, added-at = {2014-04-20T16:43:10.000+0200}, biburl = {https://www.bibsonomy.org/bibtex/2ef37d9c876beef84f5746e57d929506c/ytyoun}, booktitle = {MBMV}, editor = {Oppenheimer, Frank}, interhash = {36ba9e2b29bc93570ce11d06818d6d21}, intrahash = {ef37d9c876beef84f5746e57d929506c}, keywords = {no.pdf}, timestamp = {2015-11-22T12:02:39.000+0100}, title = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011}, year = 2011 }