%0 Thesis %1 rosenberger2013model %A Rosenberger, Christoph %D 2013 %E Sommerlad, Peter %K checking machines mbeddr model nusmv state %T Model Checking for State Machines with mbeddr and NuSMV %U http://mbeddr.files.wordpress.com/2013/07/modelcheckingforstate-machineswithmbeddrandnusmv.pdf

@mastersthesis{rosenberger2013model, added-at = {2014-09-27T21:11:07.000+0200}, author = {Rosenberger, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2cf8f78e2a6810fdc8c7259386f559a3c/funthomas424242}, description = {Interessanter Ansatz}, editor = {Sommerlad, Peter}, interhash = {54720087a08281d7e2be2cb2f265e4d9}, intrahash = {cf8f78e2a6810fdc8c7259386f559a3c}, keywords = {checking machines mbeddr model nusmv state}, school = {HSR, Hochschule für Technik Rapperswil}, timestamp = {2014-09-27T21:11:07.000+0200}, title = {Model Checking for State Machines with mbeddr and NuSMV}, url = {http://mbeddr.files.wordpress.com/2013/07/modelcheckingforstate-machineswithmbeddrandnusmv.pdf}, year = 2013 }