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.

@inproceedings{BeeckBCDFKMSS97,
  title = {Graphs in METAFrame: The Unifying Power of Polymorphism},
  author = {Michael von der Beeck and Volker Braun and Andreas Claßen and Achim Dannecker and Carsten Friedrich and Dirk Koschützki and Tiziana Margaria and Falk Schreiber and Bernhard Steffen},
  year = {1997},
  tags = {graph-rewriting, rewriting},
  researchr = {https://researchr.org/publication/BeeckBCDFKMSS97},
  cites = {0},
  citedby = {0},
  pages = {112-129},
  booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS  97, Enschede, The Netherlands, April 2-4, 1997, Proceedings},
  editor = {Ed Brinksma},
  volume = {1217},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62790-1},
}