[Zurück]

@inproceedings{TUW-178421,
    author = {Wimmer, Manuel and Kappel, Gerti and Kusel, Angelika and Retschitzegger, Werner and Sch{\"o}nb{\"o}ck, Johannes and Schwinger, Wieland},
    title = {Right or Wrong? - Verification of Model Transformations using Colored Petri Nets},
    booktitle = {Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling (DSM'09)},
    year = {2009},
    publisher = {Helsinki Business School},
    eid = {15},
    url = {http://publik.tuwien.ac.at/files/PubDat_178421.pdf},
    keywords = {Model Transformation, CPN, Veri cation, Debugging}
}