%0 Conference Paper %1 conf/tacas/BeeckBCDFKMSS97 %A von der Beeck, Michael %A Braun, Volker %A Claßen, Andreas %A Dannecker, Achim %A Friedrich, Carsten %A Koschützki, Dirk %A Margaria, Tiziana %A Schreiber, Falk %A Steffen, Bernhard %B TACAS %D 1997 %E Brinksma, Ed %I Springer %K dblp %P 112-129 %T Graphs in METAFrame: The Unifying Power of Polymorphism. %U http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#BeeckBCDFKMSS97 %V 1217 %@ 3-540-62790-1

@inproceedings{conf/tacas/BeeckBCDFKMSS97, added-at = {2019-06-02T00:00:00.000+0200}, author = {von der Beeck, Michael and Braun, Volker and Claßen, Andreas and Dannecker, Achim and Friedrich, Carsten and Koschützki, Dirk and Margaria, Tiziana and Schreiber, Falk and Steffen, Bernhard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/287becdb079b188ebf446a1793e476d6f/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/1997}, editor = {Brinksma, Ed}, ee = {https://www.wikidata.org/entity/Q59393646}, interhash = {2564aab65767cf51c2f463ff78850dc3}, intrahash = {87becdb079b188ebf446a1793e476d6f}, isbn = {3-540-62790-1}, keywords = {dblp}, pages = {112-129}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:30:37.000+0200}, title = {Graphs in METAFrame: The Unifying Power of Polymorphism.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas97.html#BeeckBCDFKMSS97}, volume = 1217, year = 1997 }