%0 Journal Article %1 journals/cacm/ClarkeES09 %A Clarke, Edmund M. %A Emerson, E. Allen %A Sifakis, Joseph %D 2009 %J Commun. ACM %K dblp %N 11 %P 74-84 %T Model checking: algorithmic verification and debugging. %U http://dblp.uni-trier.de/db/journals/cacm/cacm52.html#ClarkeES09 %V 52

@article{journals/cacm/ClarkeES09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Clarke, Edmund M. and Emerson, E. Allen and Sifakis, Joseph}, biburl = {https://www.bibsonomy.org/bibtex/2158db02af3efedcbd8499dee8d2e2bf6/dblp}, ee = {https://doi.org/10.1145/1592761.1592781}, interhash = {3e1d5821cde19691200276cfaa5721f5}, intrahash = {158db02af3efedcbd8499dee8d2e2bf6}, journal = {Commun. ACM}, keywords = {dblp}, number = 11, pages = {74-84}, timestamp = {2018-11-07T11:52:19.000+0100}, title = {Model checking: algorithmic verification and debugging.}, url = {http://dblp.uni-trier.de/db/journals/cacm/cacm52.html#ClarkeES09}, volume = 52, year = 2009 }