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)

2 ×#graph transformation

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.