Asztalos, Márk, Hungary
-
Volume 21: Multi-Paradigm Modeling 2009 - Articles
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models
Abstract PDF -
Volume 32: Graph-Based Tools 2010 - Articles
Verification of Model Transformations to Refactoring Mobile Social Networks
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.