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