%0 Book %1 clarke1999model %A Clarke, E. M. %A Grumberg, Orna %A Peled, Doron A. %C Cambridge, Mass. %D 1999 %I MIT Press %K model-checking %T Model checking %U http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=27235 %@ 0585385580 9780585385587

@book{clarke1999model, added-at = {2014-07-25T19:36:55.000+0200}, address = {Cambridge, Mass.}, author = {Clarke, E. M. and Grumberg, Orna and Peled, Doron A.}, biburl = {https://www.bibsonomy.org/bibtex/2f9df55f7feca7123bf905a23326ee451/cut}, interhash = {91a78dfe7ba10d79b039bd9a6c5b7a5a}, intrahash = {f9df55f7feca7123bf905a23326ee451}, isbn = {0585385580 9780585385587}, keywords = {model-checking}, publisher = {MIT Press}, refid = {49568935}, timestamp = {2014-07-25T19:42:07.000+0200}, title = {Model checking}, url = {http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=27235}, year = 1999 }