Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Banieqbal, B. & Barringer, H.: Temporal logic with fixed points, in Temporal Logic in Specification, LNCS vol. 398, Springer-Verlag, 1989, pp. 62–74
2. Barringer, H. & Kuiper, R. & Pnueli, A.: A really abstract concurrent model and its temporal logic, in Proc. of the 13th ACM POPL, 1986
3. Clarke, E. & Grumberg, O. & Kurshan, R. P.: A synthesis of two approaches for verifying finite state concurrent systems, in Logic at Botik'89, LNCS vol. 363, Springer-Verlag, 1989, pp. 81–90
4. Emerson, E. A.: Alternative semantics for temporal logics, in Theoretical Computer Science, vol. 26, 1983, pp. 121–130
5. Emerson, E. A.: Temporal and modal logic, in van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, Elsevier/North-Holland, 1990, pp. 997–1072
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献