zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 4, 3-19 (2007).
MSC:  05C70 68Q85
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication