Heckel, Reiko; König, Barbara; Rensink, Arend (Hrsg.):
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005)
Elsevier, 2006
(Electronic Notes in Theoretical Computer Science ; 154)
Buch2006Informatik
Titel:
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005)
Herausgeber(in):
Heckel, Reiko; König, BarbaraLSF; Rensink, Arend
Verlag
Elsevier
Erscheinungsjahr
2006
WWW URL

Abstract:

ISSN: 1571-0661