Revision as of 15:58, 29 July 2019 edit Jarble (talk \| contribs) Autopatrolled, Extended confirmed users 150,084 edits adding links to references using Google Scholar ← Previous edit		Revision as of 19:43, 29 August 2019 edit undo Bender the Bot (talk \| contribs) Bots 1,064,377 edits m →References: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ Tag: AWB 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. 131 \| publisher= Springer, Berlin \| year=1981 \|pages= 52–71\|url=~~http~~https://www.cs.cmu.edu/afs/cs/user/emc/www/papers/Invited%20Conference%20Articles/Design%20and%20Synthesis%20of%20Synchronization%20Skeletons%20Using%20Branching%20Time%20Temporal%20Logic.pdf}} * {{cite 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-1}} * {{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}}

Computation tree logic: Difference between revisions