@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
}

{"_id":"ZuNMTvWaTx8LSqYsY","bibbaseid":"selim-lucio-cordy-dingel-oakes-specificationandverificationofgraphbasedmodeltransformationproperties-2014","downloads":0,"creationDate":"2017-10-15T15:21:08.784Z","title":"Specification and Verification of Graph-Based Model Transformation Properties.","author_short":["Selim, G. M. K.","Lucio, L.","Cordy, J. R.","Dingel, J.","Oakes, B. J."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/james cordy?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Selim"],"firstnames":["Gehan","M.","K."],"suffixes":[]},{"propositions":[],"lastnames":["Lucio"],"firstnames":["Levi"],"suffixes":[]},{"propositions":[],"lastnames":["Cordy"],"firstnames":["James","R."],"suffixes":[]},{"propositions":[],"lastnames":["Dingel"],"firstnames":["Jürgen"],"suffixes":[]},{"propositions":[],"lastnames":["Oakes"],"firstnames":["Bentley","J."],"suffixes":[]}],"booktitle":"ICGT","crossref":"conf/gg/2014","editor":[{"propositions":[],"lastnames":["Giese"],"firstnames":["Holger"],"suffixes":[]},{"propositions":[],"lastnames":["König"],"firstnames":["Barbara"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/gg/SelimLCDO14,\n author = {Selim, Gehan M. K. and Lucio, Levi and Cordy, James R. and Dingel, Jürgen and Oakes, Bentley J.},\n booktitle = {ICGT},\n crossref = {conf/gg/2014},\n editor = {Giese, Holger and König, Barbara},\n ee = {http://dx.doi.org/10.1007/978-3-319-09108-2_8},\n interhash = {01b460f5797aff82451437f13a33dd2d},\n intrahash = {bbb6735c6acb30010bd7abb85133f637},\n isbn = {978-3-319-09107-5},\n pages = {113-129},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Specification and Verification of Graph-Based Model Transformation Properties.},\n url = {http://dblp.uni-trier.de/db/conf/gg/icgt2014.html#SelimLCDO14},\n volume = 8571,\n year = 2014\n}\n\n","author_short":["Selim, G. M. K.","Lucio, L.","Cordy, J. R.","Dingel, J.","Oakes, B. J."],"editor_short":["Giese, H.","König, B."],"key":"conf/gg/SelimLCDO14","id":"conf/gg/SelimLCDO14","bibbaseid":"selim-lucio-cordy-dingel-oakes-specificationandverificationofgraphbasedmodeltransformationproperties-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-09108-2_8","Paper":"http://dblp.uni-trier.de/db/conf/gg/icgt2014.html#SelimLCDO14"},"downloads":0},"search_terms":["specification","verification","graph","based","model","transformation","properties","selim","lucio","cordy","dingel","oakes"],"keywords":[],"authorIDs":[],"dataSources":["JHozo5KzkRHrh6ajp"]}