Author:
Browne I. A.,Manna Z.,Sipma H. B.
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. M. Abadi and L. Lamport. The existence of refinement mappings. In Proc. 3rd IEEE Symp. Logic in Comp. Sci., pg. 165–175. IEEE Computer Society Press, 1988.
2. B. Alpern and F.B. Schneider. Verifying temporal properties without temporal logic. ACM Trans. Prog. Lang. Sys., 11:147–167, 1989.
3. A. Browne, Z. Manna, and H.B. Sipma. Generalized verification diagrams. In 15th Conference on the Foundations of Software Technology and Theoretical Computer Science, volume 1026 of LNCS, pages 484–498, December 1995.
4. L. de Alfaro and Z. Manna. Temporal verification by diagram transformations. In Proc. 8
th
Intl. Conference on Computer Aided Verification, July 1996.
5. D. Harel. Statecharts: A visual formalism for complex systems. Sci. Comp. Prog., 8:231–274, 1987.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献