Mészáros, Tamás, Budapest University of Technology and Economics Department of Automation and Applied Informatics, Hungary
-
Volume 42: Multi-Paradigm Modeling 2010 - Articles
Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.