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