%0 Conference Paper %1 conf/gg/SelimLCDO14 %A Selim, Gehan M. K. %A Lucio, Levi %A Cordy, James R. %A Dingel, Jürgen %A Oakes, Bentley J. %B ICGT %D 2014 %E Giese, Holger %E König, Barbara %I Springer %K dblp %P 113-129 %T Specification and Verification of Graph-Based Model Transformation Properties. %U http://dblp.uni-trier.de/db/conf/gg/icgt2014.html#SelimLCDO14 %V 8571 %@ 978-3-319-09107-5

@inproceedings{conf/gg/SelimLCDO14, added-at = {2020-12-29T00:00:00.000+0100}, author = {Selim, Gehan M. K. and Lucio, Levi and Cordy, James R. and Dingel, Jürgen and Oakes, Bentley J.}, biburl = {https://www.bibsonomy.org/bibtex/2bbb6735c6acb30010bd7abb85133f637/dblp}, booktitle = {ICGT}, crossref = {conf/gg/2014}, editor = {Giese, Holger and König, Barbara}, ee = {https://doi.org/10.1007/978-3-319-09108-2_8}, interhash = {01b460f5797aff82451437f13a33dd2d}, intrahash = {bbb6735c6acb30010bd7abb85133f637}, isbn = {978-3-319-09107-5}, keywords = {dblp}, pages = {113-129}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T22:06:39.000+0200}, 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 }