Revision as of 16:10, 26 January 2007 edit Grokmenow (talk \| contribs) 125 edits No edit summary ← Previous edit		Revision as of 06:34, 29 January 2007 edit undo Alaibot (talk \| contribs) 434,501 edits m Robot: tagging as uncategorised Next edit →
Line 42: * {{cite journal \| author=Clarke, E. M., Emerson, E. A., and Sistla, A. P. \| title=Automatic verification of finite-state concurrent systems using temporal logic specifications \| journal=ACM Transactions on Programming Languages and Systems\| year=1986\| volume=8 \| issue=2 \| pages=244-263}} {{Uncategorized\|January 2007}}

Fair computational tree logic: Difference between revisions