Narayanan, Anantha, United States
-
Volume 4: Graph and Model Transformation 2006 - Articles
Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations
Abstract PDF -
Volume 10: Graph Transformation and Visual Modeling Techniques 2008 - Articles
Verifying Model Transformations by Structural Correspondence
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.