Revision as of 15:57, 24 November 2018 edit 2003:e7:b3c8:5225:a96e:2ab5:d9f3:f9f1 (talk) rv revert revision 608091061 "the first item was non-sensical" - no it wasn't, but now (for 4 years already) it kind-of is nonsensical and moreover it's definitely wrong ← Previous edit		Revision as of 13:20, 19 February 2019 edit undo Citation bot (talk \| contribs) Bots 5,868,164 edits m Alter: journal, isbn, template type, title. \| You can use this bot yourself. Report bugs here. \| User-activated. Next edit →
Line 149: ==References== * {{cite journal \|author1=E.M. Clarke \|author2=E.A. Emerson \| title=Design and synthesis of synchronisation skeletons using branching time temporal logic\| journal=Logic of Programs, Proceedings of Workshop, Lecture Notes in Computer Science, ~~vol~~Vol. 131 \| publisher= Springer, Berlin \| year=1981 \|pages= 52–71}} * {{cite ~~journal~~book \|author1=Michael Huth \|author2=Mark Ryan \| title=Logic in Computer Science (Second Edition) \| year=2004\| page=207 \| publisher=Cambridge University Press \| isbn=978-0-521-54310-X1}} * {{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}} * {{cite book \| author=Emerson, E. A. \| year=1990 \| chapter =Temporal and modal logic \| editor=[[Jan van Leeuwen]] \| title=Handbook of Theoretical Computer Science, vol. B \| pages=955–1072 \| publisher=MIT Press \| isbn=978-0-262-22039-32}} ==External links==

Computation tree logic: Difference between revisions