| Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations | |
|---|---|
| Author | |
| Year of Publication |
2006
|
| Journal |
Electronic Communications of the EASST
|
| Volume |
4
|
| Google Scholar | BibTeX | XML | |