%0 Conference Paper %1 conf/gg/RadkeABHT15 %A Radke, Hendrik %A Arendt, Thorsten %A Becker, Jan Steffen %A Habel, Annegret %A Taentzer, Gabriele %B ICGT %D 2015 %E Parisi-Presicce, Francesco %E Westfechtel, Bernhard %I Springer %K %P 155-170 %T Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations. %U http://dblp.uni-trier.de/db/conf/gg/icgt2015.html#RadkeABHT15 %V 9151 %@ 978-3-319-21144-2

@inproceedings{conf/gg/RadkeABHT15, added-at = {2023-12-12T17:56:13.000+0100}, author = {Radke, Hendrik and Arendt, Thorsten and Becker, Jan Steffen and Habel, Annegret and Taentzer, Gabriele}, biburl = {https://www.bibsonomy.org/bibtex/257966a3102d4970435b257610aac5416/admin}, booktitle = {ICGT}, crossref = {conf/gg/2015}, editor = {Parisi-Presicce, Francesco and Westfechtel, Bernhard}, ee = {https://doi.org/10.1007/978-3-319-21145-9_10}, interhash = {0afdc359bdbcc6153d37331d69b759ee}, intrahash = {57966a3102d4970435b257610aac5416}, isbn = {978-3-319-21144-2}, keywords = {}, pages = {155-170}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:56:13.000+0100}, title = {Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.}, url = {http://dblp.uni-trier.de/db/conf/gg/icgt2015.html#RadkeABHT15}, volume = 9151, year = 2015 }