Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (bibtex)
by , , , ,
Reference:
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner), In Fourth Workshop on the Analysis of Model Transformations, 2015.
Bibtex Entry:
@InProceedings{Dyck+15,
AUTHOR = {Dyck, Johannes and Giese, Holger and Lambers, Leen and Schlesinger, Sebastian and Glesner, Sabine},
TITLE = {{Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations}},
YEAR = {2015},
BOOKTITLE = {Fourth Workshop on the Analysis of Model Transformations},
SERIES = {CEUR Workshop Proceedings},
URL = {http://msdl.cs.mcgill.ca/conferences/AMT/papers/AMT_2015_paper_7.pdf},
}
Powered by bibtexbrowser