Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. B. Alpern and F. B. Schneider. Verifying temporal properties without temporal logic. ACM Transactions on Programming Languages, 11:147–167, 1989.
2. B. Banieqbal and H. Barringer. Temporal logic with fixed points. In Coll. Temporal Logic in Specification, Lecture Notes in Computer Science, 398:62–74, 1987.
3. J. R. Büchi. On a decision method in restricted second-order arithmetic. In Proc. International Congress on Logic, Methodology and Philosophy of Science, 1962.
4. M. Dam. CTL* and ECTL* as fragments of the modal mu-calculus. In Proc. 17th Coll. Trees in Algebra and Programming, Lecture Notes in Computer Science, 581:145–164, 1992.
5. R. Kuiper H. Barringer and A. Pnueli. Now you may compose temporal logic specification. In Proc. ACM Symp. Theory of Computing, pages 51–63, 1984.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献