Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Barbara König, Arend Rensink, Reiko Heckel
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification
GT-VC-2007, 2008.

GRAPH
no DBLP info
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.