Arend Rensink, Reiko Heckel, Barbara König 0001, editors, Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006. Volume 175 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
Conference: concur2007
Abstract is missing.