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}
}



See www.sciencedirect.com ...
© University of Duisburg-Essen, Theoretical Computer Science group