%0 Book %1 baier2008principles %A Baier, Christel %A Katoen, Joost-Pieter %D 2008 %I MIT Press %K checking model %P I-XVII, 1-975 %T Principles of Model Checking %@ 978-0-262-02649-9

@book{baier2008principles, added-at = {2012-03-30T14:22:31.000+0200}, author = {Baier, Christel and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/259602f665024d39df5d3ef38ce138ef3/nosebrain}, interhash = {050954942095dcc29dfafe5e64784433}, intrahash = {59602f665024d39df5d3ef38ce138ef3}, isbn = {978-0-262-02649-9}, keywords = {checking model}, pages = {I-XVII, 1-975}, publisher = {MIT Press}, timestamp = {2012-03-30T14:22:31.000+0200}, title = {Principles of Model Checking}, year = 2008 }