Workshop: GT-VC 2007: Graph Transformation for Verification and Concurrency, 2007

When: Sept. 3, 2007, 0:00 - Sept. 3, 2007, 23:59

Who: other:

To be announced.