Author:
Weinberg Henri B.,Zuck Lenore D.
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. R. Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Stanford University, August 1991.
2. D. Bertsekas and R. Gallager. Data Networks. Prentice-Hall, 1987.
3. G. V. Bochmann and J. Gecsei. A unified method for the specification and verification of protocols. In B. Gilchrist, editor, Information Processing 77, pages 229–234, Amsterdam, 1977. North-Holland Publishing Co.
4. G. V. Bochmann and C. A. Sunshine. Formal methods in communication protocol design. IEEE Transactions on Communications, COM-28:624–631, 1980.
5. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. on Programming Languages and Systems, 8(2):244–263, 1986. An early version appeared in Proceedings of the 10th ACM Symposium on Principles of Programming Languages, 1983.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献