Revision as of 10:18, 15 July 2007 edit Retired username (talk \| contribs) 48,708 edits m Adding a few internal links from an online link suggesting tool. ← Previous edit		Revision as of 10:20, 20 November 2007 edit undo Hans Adler (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 26,943 edits rm from category "model theory", as it's already in subcategory "model checking" and is a bit exotic there Next edit →
Line 26: [[Category:Formal methods]] [[Category:Logic in computer science]] ~~[[Category:Model theory]]~~ [[Category:Model checkers\| ]]

Abstract model checking: Difference between revisions