Revision as of 13:33, 14 October 2020 edit Tom.Reding (talk \| contribs) Autopatrolled, Extended confirmed users, Page movers, Template editors 4,364,437 edits m Category:CS1 errors: deprecated parameters (last-author-amp=y/yes → name-list-style=amp; etc.) Tag: AWB ← Previous edit		Revision as of 22:59, 27 October 2020 edit undo JCW-CleanerBot (talk \| contribs) Bots 137,069 edits m →References: task, replaced: journal=Logic of Programs, Proceedings of Workshop, Lecture Notes in Computer Science, Vol. → journal=Logic of Programs, Proceedings of Workshop, Lecture Notes in Computer Science \|vol Tag: AWB Next edit →
Line 158: ==References== {{Reflist}} * {{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.~~ \|volume=131 \| publisher= Springer, Berlin \| year=1981 \|pages= 52–71\|url=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