Proc. of GT-VC '07 (Graph Transformation for Verification and ...
Reference
Barbara König, Arend Rensink, and Reiko Heckel, editors. Proc. of GT-VC '07 (Graph Transformation for Verification and Concurrency), volume 213.1 of ENTCS. Elsevier, 2008.
Suggested BibTeX entry:
@proceedings{KRH07,
editor = {Barbara K{\"o}nig and Arend Rensink and Reiko Heckel},
publisher = {Elsevier},
series = {ENTCS},
title = {Proc. of GT-VC '07 (Graph Transformation for Verification and Concurrency)},
volume = {213.1},
year = {2008}
}
