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.

Authors

Michael von der Beeck

This author has not been identified. Look up 'Michael von der Beeck' in Google

Volker Braun

This author has not been identified. Look up 'Volker Braun' in Google

Andreas Claßen

This author has not been identified. Look up 'Andreas Claßen' in Google

Achim Dannecker

This author has not been identified. Look up 'Achim Dannecker' in Google

Carsten Friedrich

This author has not been identified. Look up 'Carsten Friedrich' in Google

Dirk Koschützki

This author has not been identified. Look up 'Dirk Koschützki' in Google

Tiziana Margaria

This author has not been identified. Look up 'Tiziana Margaria' in Google

Falk Schreiber

This author has not been identified. Look up 'Falk Schreiber' in Google

Bernhard Steffen

This author has not been identified. It may be one of the following persons: Look up 'Bernhard Steffen' in Google