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

Abstract:

ISSN: 1571-0661