Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Graphs in METAFrame
Untertitel:
The Unifying Power of Polymorphism
Herausgeber Sammlung:
Brinksma, Ed
Titel Konferenzpublikation:
Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97
Untertitel Konferenzpublikation:
Enschede, The Netherlands, April 2-4, 1997, Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
1217
Konferenztitel:
Tools and Algorithms for Construction and Analysis of Systems (3., 1997, Enschede)
Konferenztitel:
TACAS '97
Tagungsort:
Enschede
Jahr der Konferenz:
1997
Datum Beginn der Konferenz:
02.04.1997
Datum Ende der Konferenz:
04.04.1997
Verlag:
Springer
Jahr:
1997
Seiten von - bis:
112 - 129
Sprache:
Englisch
ISBN:
3-540-62790-1
DOI:
URL zum Inhalt:
Fakultät:
Fakultät für Informatik
Institut:
INF 4 - Institut für Angewandte Informatik
Professur:
Lechner, Ulrike
BibTeX