Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. R. Behnke et al. Applications of the Rel View system. In: R. Berghammer, Y. Lakhnech (eds.): Tool support for system specification, development and verification. Springer, pages 33–47, 1999.
2. Lect Notes Comput Sci;R. Berghammer,1996
3. T.H. Cormen, C.E. Leiserson, and R.L. Rivest. Introduction to algorithms. The MIT Press, 1990.
4. E.W. Dijkstra. A discipline of programming. Prentice-Hall, 1976.
5. J. Edmonds. Paths, trees, and flowers. Canadian Journal of Mathematics 17:449–467, 1965.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献