Revision as of 17:53, 26 January 2007 edit Grokmenow (talk \| contribs) 125 edits No edit summary ← Previous edit		Revision as of 17:53, 26 January 2007 edit undo Grokmenow (talk \| contribs) 125 edits No edit summary Next edit →
Line 7: <math>\eta</math>(<math>\theta</math>(abstract)) = abstract but <br/> <math>\theta</math>(<math>\eta</math>(real)) = <math>\supset</math> real ==References==

Abstract model checking: Difference between revisions