%0 Book %1 baier2008principles %A Baier, Christel %A Katoen, Joost-Pieter %C Cambridge, Mass. %D 2008 %I MIT Press %K model-checking %T Principles of model checking %U http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=226091 %X Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique. %@ 9780262267564 026226756X 9781435643277 1435643275

@book{baier2008principles, abstract = {Model checking systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This text offers an introduction to this verification and debugging technique.}, added-at = {2014-07-25T19:41:53.000+0200}, address = {Cambridge, Mass.}, author = {Baier, Christel and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/2b5e9a224baa5b90cb111862327980f7d/cut}, interhash = {050954942095dcc29dfafe5e64784433}, intrahash = {b5e9a224baa5b90cb111862327980f7d}, isbn = {9780262267564 026226756X 9781435643277 1435643275}, keywords = {model-checking}, publisher = {MIT Press}, refid = {228031090}, timestamp = {2014-07-25T19:41:53.000+0200}, title = {Principles of model checking}, url = {http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=226091}, year = 2008 }