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

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

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

Dieser Eintrag ist freigegeben.