Author:
Berghammer Rudolf,Leoniuk Barbara,Milanese Ulf
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Behnke R., Berghammer R., Schneider P.: Machine support of relational computations: The Kiel Rel View system. Bericht Nr. 9711, Inst. für Inf. und Prak. Math., Univ. Kiel (1997)
2. Behnke R., Berghammer R., Hoffmann T., Leoniuk B., Schneider P.: Applications of the Rel View system. In: Berghammer R., Lakhnech Y. (eds.): Tool support for system specification, development and verification. Advances in Computing, Springer, 33–47 (1999)
3. Lect Notes Comput Sci;R. Behnke,1998
4. Berghammer R., Hoffmann T.: Modelling sequences within the Rel View system. J. of Univ. Comp. Sci. 7, 107–123 (2001)
5. Lect Notes Comput Sci;R. Berghammer,1996
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献