@inproceedings{Radke+15a,
Author = {Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Grabriele Taentzer},
Title = {Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations},

Year = {2015},
Pages = {155-170},
Series = {Lecture Notes in Computer Science},
Edition = {9151},
Booktitle = {Graph Transformations (ICGT 2015)},
Url = {http://www.uni-marburg.de/fb12/forschung/berichte/berichteinformtk/pdfbi/bi2015-01.pdf},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }