Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations
Thu, 06/12/2008 - 11:50am
| Title | Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations |
| Publication Type | Journal Article |
| Year of Publication | 2006 |
| Authors | Narayanan, A., and G. Karsai |
| Journal | Electronic Communications of the EASST |
| Volume | 4 |
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering