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)
Buch2007Informatik
Titel:
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006)
Herausgeber(in):
Rensink, Arend; Heckel, Reiko; König, BarbaraLSF
Verlag
Elsevier
Erscheinungsjahr
2007
WWW URL
In Serie:
Titel:
Electronic Notes in Theoretical Computer Science
in:
Band 175

Abstract:

ISSN: 1571-0661