Revision as of 15:07, 11 December 2021 edit JoeNMLC (talk \| contribs) Extended confirmed users 135,377 edits →top: ce lead, add wikilink, rm context notice ← Previous edit		Revision as of 15:08, 11 December 2021 edit undo JoeNMLC (talk \| contribs) Extended confirmed users 135,377 edits →References: add Reflist, add cat. notice Next edit →
Line 12: ==References== {{Reflist}} * {{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=1994\| volume=16 \| issue=5 \| pages=1512–1542 \| doi=10.1145/186025.186051\| citeseerx=10.1.1.79.3022 }} [[Category:Model checking]] {{Improve categories\|date=December 2021}}

Abstract model checking: Difference between revisions