Fair computational tree logic: Difference between revisions

Revision as of 06:15, 30 May 2016

Revision as of 02:24, 13 July 2016

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 | authorauthor1=Clarke, E. M., |author2=Emerson, E. A., and|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}}

[[Category:Temporal logic]]