Electronic Notes in Theoretical Computer Science, Volume 213

Refine list

showing all ?? records

Volume 213, Number 1, May 2008

Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics