Author:
Duan Zhenhua,Zhang Nan,Koutny Maciej
Subject
General Computer Science,Theoretical Computer Science
Reference42 articles.
1. An axiomatization of Lamport’s temporal logic of actions;Abadi,1990
2. Temporal logic with fixed points;Banieqbal,1987
3. M. Ben-Ari, Principles of Concurrent and Distributed Programming, first edition, Reading, Massachusetts, 1990.
4. Y. Bertot, P. Castéran, Interactive Theorem Proving and Program Development, Heidelberg, 2004.
5. W. Bledsoe, D. Loveland, Automating Theorem Proving: After 25 Years, Providence, 1984.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献