Specification and Verification of Graph-Based Model Transformation Properties. Selim, G. M. K., Lucio, L., Cordy, J. R., Dingel, J., & Oakes, B. J. In Giese, H. & König, B., editors, ICGT, volume 8571, of Lecture Notes in Computer Science, pages 113-129, 2014. Springer.
Specification and Verification of Graph-Based Model Transformation Properties. [link]Link  Specification and Verification of Graph-Based Model Transformation Properties. [link]Paper  bibtex   
@inproceedings{conf/gg/SelimLCDO14,
  author = {Selim, Gehan M. K. and Lucio, Levi and Cordy, James R. and Dingel, Jürgen and Oakes, Bentley J.},
  booktitle = {ICGT},
  crossref = {conf/gg/2014},
  editor = {Giese, Holger and König, Barbara},
  ee = {http://dx.doi.org/10.1007/978-3-319-09108-2_8},
  interhash = {01b460f5797aff82451437f13a33dd2d},
  intrahash = {bbb6735c6acb30010bd7abb85133f637},
  isbn = {978-3-319-09107-5},
  pages = {113-129},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Specification and Verification of Graph-Based Model Transformation Properties.},
  url = {http://dblp.uni-trier.de/db/conf/gg/icgt2014.html#SelimLCDO14},
  volume = 8571,
  year = 2014
}

Downloads: 0