Revision as of 20:33, 12 December 2012 edit 131.193.36.97 (talk) →Model checking for fair CTL ← Previous edit		Revision as of 21:29, 16 January 2013 edit undo Addbot (talk \| contribs) Bots 2,838,809 edits m Bot: Removing Orphan Tag (Report Errors) Next edit →
Line 1: {{mergeto\|Model checking\|date=January 2011}} ~~{{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