%0 Book %1 Holzmann04 %A Holzmann, Gerard J. %D 2004 %I Addison Wesley %K imported %T The SPIN Model Checker

@book{Holzmann04, added-at = {2011-07-15T15:18:02.000+0200}, author = {Holzmann, Gerard J.}, biburl = {https://www.bibsonomy.org/bibtex/2289dd945669287b77517e282664b30c7/msteele}, interhash = {c73622c50bb597384b842e118394688e}, intrahash = {289dd945669287b77517e282664b30c7}, keywords = {imported}, owner = {Matt}, publisher = {Addison Wesley}, review = {Priority: High This is the SPIN reference manual.}, timestamp = {2011-07-15T15:18:02.000+0200}, title = {{The SPIN Model Checker}}, year = 2004 }