Revision as of 02:24, 13 July 2016 edit Dcirovic (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 253,275 edits m →References: refs using AWB ← Previous edit		Revision as of 01:03, 17 February 2019 edit undo Citation bot (talk \| contribs) Bots 5,863,200 edits m Alter: title. \| You can use this bot yourself. Report bugs here. \| User-activated. Next edit →
Line 37: ==References== * {{cite journal \|author1=Emerson, E. A. \|author2=Halpern, J. Y. \| title=Decision procedures and expressiveness in the temporal logic of branching time \| journal=Journal of Computer and System Sciences\| year=1985\| volume=30 \| issue=1 \| pages=1–24 \| doi=10.1016/0022-0000(85)90001-7}} * {{cite journal \|author1=Clarke, E. M. \|author2=Emerson, E. A. \|author3= Sistla, A. P. \|last-author-amp=yes \| 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 \| doi=10.1145/5397.5399}}

Fair computational tree logic: Difference between revisions