@inproceedingsRadke+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} @COMMENTBibtex file generated on