Publisher
Springer Berlin Heidelberg
Reference100 articles.
1. Aho, A. V., Hopcroft, J. E. & Ullman, J. D.: The Design and Analysis of Computer Algorithms. Addison-Wesley 1974, 470 p.
2. Alpern, B. & Schneider, F. B.: “Defining Liveness”. Information Processing Letters 21(4), 1985, pp. 181–185.
3. Alur, R., Brayton, R. K., Henzinger, T. A., Qadeer, S. & Rajamani, S. K.: “Partial-Order Reduction in Symbolic State Space Exploration”. Proc. Computer Aided Verification (CAV) '97, Lecture Notes in Computer Science 1254, Springer-Verlag 1997, pp. 340–351.
4. Bolognesi, T. & Brinksma, E.: “Introduction to the ISO Specification Language LOTOS”. Computer Networks and ISDN Systems 14 (1987), pp. 25–59.
5. Brinksma, E.: “A Theory for the Derivation of Tests”. Protocol Specification, Testing and Verification VIII (Proc. International IFIP WG 6.1 Symposium, 1988), North-Holland 1988, pp. 63–74.
Cited by
200 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献