Revision as of 01:03, 17 February 2019 edit Citation bot (talk \| contribs) Bots 5,863,201 edits m Alter: title. \| You can use this bot yourself. Report bugs here. \| User-activated. ← Previous edit		Revision as of 11:11, 20 October 2020 edit undo Monkbot (talk \| contribs) Bots 3,695,952 edits m →References: Task 17: replace deprecated: \|last-author-amp= (1× replaced; usage: 1 of 2); Tag: AWB Next edit →
Line 38: ==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~~name-~~author~~list-~~amp~~style=~~yes~~amp \| 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}} [[Category:Temporal logic]]

Fair computational tree logic: Difference between revisions