Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006

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

Editors

Arend Rensink

This author has not been identified. It may be one of the following persons: Look up 'Arend Rensink' in Google

Reiko Heckel

This author has not been identified. It may be one of the following persons: Look up 'Reiko Heckel' in Google

Barbara König 0001

This author has not been identified. Look up 'Barbara König 0001' in Google