Revision as of 18:40, 31 January 2011 edit Ruud Koot (talk \| contribs) 31,416 edits Category:Temporal logic ← Previous edit		Revision as of 18:41, 31 January 2011 edit undo Ruud Koot (talk \| contribs) 31,416 edits {{mergeto\|Model checking}} Next edit →
Line 1: {{mergeto\|Model checking}} {{Orphan\|date=February 2009}} '''Fair computational tree logic''' is conventional [[computational tree logic]] studied with explicit fairness constraints.

Fair computational tree logic: Difference between revisions