This is an old revision of this page, as edited by Grokmenow(talk | contribs) at 17:31, 26 January 2007(←Created page with ' ==References== * {{cite journal | author=Edmund M. Clarke and Orna Grumberg and David E. Long | title=Model checking and abstraction | journal=ACM Transactions on...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 17:31, 26 January 2007 by Grokmenow(talk | contribs)(←Created page with ' ==References== * {{cite journal | author=Edmund M. Clarke and Orna Grumberg and David E. Long | title=Model checking and abstraction | journal=ACM Transactions on...')
Edmund M. Clarke and Orna Grumberg and David E. Long (1992). "Model checking and abstraction". ACM Transactions on Programming Languages and Systems. 16 (5): 1512--1542.
