König, Barbara; Rensink, Arend; Heckel, Reiko (Hrsg.):
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007)
Elsevier, 2008
(Electronic Notes in Theoretical Computer Science ; 213)
Buch / Fach: Informatik
Titel:
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007)
Herausgeber(in):
König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Rensink, Arend; Heckel, Reiko
Verlag
Elsevier
Erscheinungsjahr
2008
In Serie:
Electronic Notes in Theoretical Computer Science, Band 213
WWW URL

Abstract:

ISSN: 1571-0661