Author:
Cardell-Oliver Rachel,Hale Roger,Herbert John
Reference4 articles.
1. J. R. Harrison. Constructing the real numbers in HOL. In this volume.
2. T. A. Henzinger, Z. Manna, and A. Pnueli. Temporal proof methodologies for real-time systems. In Proceedings of the 18th Symposium on Principles of Programming Languages. ACM Press, 1991.
3. T. A. Henzinger, Z. Manna, and A. Pnueli. Timed transition systems. In Proceedings of the 1991 REX Workshop, November 1991.
4. SRI International and DSTO Australia. The HOL System. Cambridge Computer Science Research Center, SRI International, revised version, 1991. Four volumes.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献