Author:
Clarke Edmund M.,Emerson E. Allen
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Ben-Ari, H.: Personal communication (198l)
2. Ben-Ari, M., Halpern, J., Pnueli, A.: Finite Models for Deterministic Propositional Logic. In: Proceedings 8th Int. Colloquium on Automata, Languages, and Programmlng (to appear, 1981)
3. Ben-Ari, M., Manna, Z., Pnueli, A.: The Temporal Logic of Branching Time. In: 8th Annual ACM Sympo on Principles of Programming Languages (1981)
4. Clarke, E.M.: Program Invariants as Fixpoints. In: 18th Annual Symp. on Foundations of Computer Science (1977)
5. Emerson, E.A., Clarke, E.M.: Characterizing Correctness Properties of Parallel Programs as Fixpoints. In: Proceedings 7th Int. Colloquium on Automata, Languages, and Programming. LNCS, vol. 85. Springer (1981)
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献