Graphs in METAFrame: The Unifying Power of Polymorphism

Michael von der Beeck, Volker Braun, Andreas Claßen, Achim Dannecker, Carsten Friedrich, Dirk Koschützki, Tiziana Margaria, Falk Schreiber, Bernhard Steffen. Graphs in METAFrame: The Unifying Power of Polymorphism. In Ed Brinksma, editor, Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS 97, Enschede, The Netherlands, April 2-4, 1997, Proceedings. Volume 1217 of Lecture Notes in Computer Science, pages 112-129, Springer, 1997.

Abstract

Abstract is missing.