1
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Visual Contracts -- Transforming Scene Graphs Using Triple Graph Grammars – A Practice Report -- Using...

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: ...Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets -- Incremental Development...

3
Published 2012
Springer Berlin Heidelberg
Table of Contents: ... Units via MiniSat to GrGen.NET --...