Revision as of 18:41, 26 January 2007 edit Grokmenow (talk \| contribs) 125 edits No edit summary ← Previous edit		Revision as of 18:42, 26 January 2007 edit undo Grokmenow (talk \| contribs) 125 edits No edit summary Next edit →
Line 20: ~~{{FOLDOC}}~~ [[Category:Formal methods]] [[Category:Logic in computer science]]

Abstract model checking: Difference between revisions