Computation tree logic: Difference between revisions

Revision as of 18:04, 25 May 2020

Revision as of 13:33, 14 October 2020

Line 161:

* {{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}}

* {{cite journal |author1=Clarke, E. M. |author2=Emerson, E. A. |author3=Sistla, A. P. |lastname-authorlist-ampstyle=yesamp | 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-2}}