Revision as of 01:36, 7 February 2008 edit 70.233.136.36 (talk) →Galois connected: Added link to article on Galois Connection. Cleaned up sentence structure. ← Previous edit		Revision as of 13:48, 7 June 2008 edit undo DOI bot (talk \| contribs) 44,709 edits m Citation maintenance. You can use this bot yourself! Please report any bugs. Next edit →
Line 22: ==References== * {{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 methods]]

Abstract model checking: Difference between revisions