Rensink, Arend; Heckel, Reiko; König, Barbara (Hrsg.) :

Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006)

/ Rensink, Arend; Heckel, Reiko; König, Barbara (Hrsg.)
Elsevier (2007) (Electronic Notes in Theoretical Computer Science ; 175)
Buch / Monographie / Fach: Informatik
Abstract:
ISSN: 1571-0661

Dieser Eintrag ist freigegeben.