Fair computational tree logic: Difference between revisions

Revision as of 09:46, 2 May 2007

Revision as of 13:47, 7 June 2008

Line 30:

==References==

* {{cite journal | author=Emerson, E. A. and 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=11–24 | doi=10.1016/0022-240000(85)90001-7}}

* {{cite journal | author=Clarke, E. M., Emerson, E. A., and Sistla, A. P. | 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-263244–263 | doi=10.1145/5397.5399}}

[[Category:Logic in computer science]]

[[Category:Modal logic]]