Gehan M. K. Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang. Automated Verification of Model Transformations in the Automotive Industry. In Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter J. Clarke, editors, Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings. Volume 8107 of Lecture Notes in Computer Science, pages 690-706, Springer, 2013. [doi]
@inproceedings{SelimBCDW13,
title = {Automated Verification of Model Transformations in the Automotive Industry},
author = {Gehan M. K. Selim and Fabian Büttner and James R. Cordy and Jürgen Dingel and Shige Wang},
year = {2013},
doi = {10.1007/978-3-642-41533-3_42},
url = {http://dx.doi.org/10.1007/978-3-642-41533-3_42},
researchr = {https://researchr.org/publication/SelimBCDW13},
cites = {0},
citedby = {0},
pages = {690-706},
booktitle = {Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013. Proceedings},
editor = {Ana Moreira and Bernhard Schätz and Jeff Gray and Antonio Vallecillo and Peter J. Clarke},
volume = {8107},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-41532-6},
}