%0 Journal Article %1 journals/stvr/AsztalosLL13 %A Asztalos, Márk %A Lengyel, László %A Levendovszky, Tihamer %D 2013 %J Softw. Test. Verification Reliab. %K dblp %N 5 %P 405-435 %T Formal specification and analysis of functional properties of graph rewriting-based model transformation. %U http://dblp.uni-trier.de/db/journals/stvr/stvr23.html#AsztalosLL13 %V 23

@article{journals/stvr/AsztalosLL13, added-at = {2020-04-01T00:00:00.000+0200}, author = {Asztalos, Márk and Lengyel, László and Levendovszky, Tihamer}, biburl = {https://www.bibsonomy.org/bibtex/2f7fc9d88e56fa8964f706ad9b3155fac/dblp}, ee = {https://doi.org/10.1002/stvr.1502}, interhash = {8d581d9e2a046fb6c24b8db2149910d2}, intrahash = {f7fc9d88e56fa8964f706ad9b3155fac}, journal = {Softw. Test. Verification Reliab.}, keywords = {dblp}, number = 5, pages = {405-435}, timestamp = {2020-04-02T12:07:46.000+0200}, title = {Formal specification and analysis of functional properties of graph rewriting-based model transformation.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr23.html#AsztalosLL13}, volume = 23, year = 2013 }