Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. R. Cleaveland, J. Parrow, and B. Steffen. A semantics based verification tool for finite state systems. In Proceedings of the 9 th International Symposium on Protocol Specification, Testing and Verification, North Holland, 1989.
2. R. Cleaveland and J. Riely. Testing-based abstractions for valuepassing systems. In CONCUR'94, number 836 in Lecture Notes in Computer Science, pages 417–432. Springer-Verlag, 1994.
3. W. Damn, H. Hungar, and O. Grumberg. What if model checking must be truly symbolic? In Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1995. Aarhus, Denmark.
4. J. Godskesen, K. Larsen, and M. Zeeberg. Tav user manual. Report R89-19, Aalborg University, 1989.
5. M. Hennessy and A. Ingolfsdottir. Communicating processes with value-passing and assignment. Formal Aspects of Computing, 3:346–366, 1993.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献