Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. B. Alpern and F.B. Schneider. Verifying temporal properties without temporal logic. ACM Trans. Prog. Lang. Sys., 11:147–167, 1989.
2. D. Harel. Statecharts: A visual formalism for complex systems. Sci. Comp. Prog., 8:231–274, 1987.
3. B.T. Hailpern and S.S. Owicki. Modular verification of computer commuincation protocols. IEEE Trans. on Commun., COM-31(1):56–68, 1983.
4. L. Lamport. The temporal logic of actions. Technical report, Digital Equipment Corporation, Systems Research Center, 1991.
5. Mathematical Centre Tracts 159;Z. Manna,1983
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献