Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

Levendovszky, Tihamér, 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.