Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}