%0 Conference Paper %1 conf/models/AsztalosLL09 %A Asztalos, Márk %A Lengyel, László %A Levendovszky, Tihamer %B MoDeVVa@MoDELS %D 2009 %E Lúcio, Levi %E Weißleder, Stephan %I ACM %K dblp %P 2:1-2:10 %T A formalism for describing modeling transformations for verification. %U http://dblp.uni-trier.de/db/conf/models/modevva2009.html#AsztalosLL09 %@ 978-1-60558-876-6

@inproceedings{conf/models/AsztalosLL09, added-at = {2022-04-09T00:00:00.000+0200}, author = {Asztalos, Márk and Lengyel, László and Levendovszky, Tihamer}, biburl = {https://www.bibsonomy.org/bibtex/235ae299730cdc0728d9e7facb695daad/dblp}, booktitle = {MoDeVVa@MoDELS}, crossref = {conf/models/2009modevva}, editor = {Lúcio, Levi and Weißleder, Stephan}, ee = {https://doi.org/10.1145/1656485.1656487}, interhash = {8f2adff5f7d21541f75180a729f2a99a}, intrahash = {35ae299730cdc0728d9e7facb695daad}, isbn = {978-1-60558-876-6}, keywords = {dblp}, pages = {2:1-2:10}, publisher = {ACM}, timestamp = {2024-04-09T22:00:21.000+0200}, title = {A formalism for describing modeling transformations for verification.}, url = {http://dblp.uni-trier.de/db/conf/models/modevva2009.html#AsztalosLL09}, year = 2009 }