%0 Journal Article %1 journals/eceasst/AsztalosELLMM11 %A Asztalos, Márk %A Ekler, Péter %A Lengyel, László %A Levendovszky, Tihamer %A Mezei, Gergely %A Mészáros, Tamás %D 2011 %J ECEASST %K dblp %T Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst42.html#AsztalosELLMM11 %V 42

@article{journals/eceasst/AsztalosELLMM11, added-at = {2019-05-22T00:00:00.000+0200}, author = {Asztalos, Márk and Ekler, Péter and Lengyel, László and Levendovszky, Tihamer and Mezei, Gergely and Mészáros, Tamás}, biburl = {https://www.bibsonomy.org/bibtex/28094ed1f10b4ce2087135f1cf88636df/dblp}, ee = {https://doi.org/10.14279/tuj.eceasst.42.603}, interhash = {6d75fbaf8e1a197eda3e6c387fa0d193}, intrahash = {8094ed1f10b4ce2087135f1cf88636df}, journal = {ECEASST}, keywords = {dblp}, timestamp = {2019-05-23T11:50:27.000+0200}, title = {Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst42.html#AsztalosELLMM11}, volume = 42, year = 2011 }