## Barbara König, Arend Rensink, Reiko Heckel

*Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification*

GT-VC-2007, 2008.

@proceedings{GT-VC-2007,
editor = "Barbara König and Arend Rensink and Reiko Heckel",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 1,
pdfurl = "http://www.sciencedirect.com/science/journal/15710661/213/1",
title = "{Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification}",
volume = 213,
year = 2008,
}

### Contents (5 items)

- GT-VC-2007-BaresiRRS08 #graph transformation #model checking #performance
- An Efficient Solution for Model Checking Graph Transformation Systems (LB, VR, ATR, PS), pp. 3–21.
- GT-VC-2007-Bruggink08 #graph transformation #proving #termination #towards
- Towards a Systematic Method for Proving Termination of Graph Transformation Systems (HJSB), pp. 23–38.
- GT-VC-2007-BruniBGM08 #architecture #graph grammar #modelling #using
- Modelling Dynamic Software Architectures using Typed Graph Grammars (RB, AB, SG, HCM), pp. 39–53.
- GT-VC-2007-ErmelE08 #animation #behaviour
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (CE, HE), pp. 55–74.
- GT-VC-2007-Pennemann08 #algorithm #approximate #problem #satisfiability
- An Algorithm for Approximating the Satisfiability Problem of High-level Conditions (KHP), pp. 75–94.