Author:
Berghammer Rudolf,von Karger Burghard,Wolf Andreas
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Berghammer R., Schmidt G.: RELVIEW — A computer system for the manipulation of relations. In: Nivat M., et al. (eds.): Proc. AMAST '93, Workshops in Computing, Springer Verlag, 405–406 (1993)
2. Berghammer R., von Karger B., Ulke C.: Relation-algebraic analysis of Petri nets with RELVIEW. In: Margaria T., Steffen B. (eds.): Proc. TACAS '96, LNCS 1055, Springer Verlag, 49–69 (1996)
3. Hattensperger, C.: Computer-aided proofs in relational algebras (in German). Dissertation, Faculty of Computer Science, University of German Forces Munich (1997)
4. Brink C., Kahl W., Schmidt G. (eds.): Relational methods in computer science. Advances in Computing Science, Springer Verlag (1997)
5. Dijkstra E.W.: A discipline of programming. Prentice-Hall (1976)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献