Revision as of 09:49, 15 September 2010 edit Rjwilmsi (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 933,673 edits m page range fixes, replaced: \| pages=1512--1542 → \| pages=1512–1542 using AWB (7126) ← Previous edit		Revision as of 18:38, 31 January 2011 edit undo Ruud Koot (talk \| contribs) 31,416 edits Category:Model checking Next edit →
Line 24: * {{cite journal \| author=Edmund M. Clarke and Orna Grumberg and David E. Long \| title=Model checking and abstraction \| journal=ACM Transactions on Programming Languages and Systems\| year=1992\| volume=16 \| issue=5 \| pages=1512–1542 \| doi=10.1145/186025.186051}} [[Category:~~Formal~~Model ~~methods~~checking]] ~~[[Category:Logic in computer science]]~~ ~~[[Category:Model checkers\| ]]~~

Abstract model checking: Difference between revisions