@inproceedings{DBLP:conf/models/GuerraL14, author = {Esther Guerra and Juan de Lara}, title = {Towards automating the analysis of integrity constraints in multi-level models}, booktitle = {MULTI@MODELS 2014}, pages = {63--72}, year = {2014}, crossref = {DBLP:conf/models/2014multi}, url = {http://ceur-ws.org/Vol-1286/p7.pdf}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/models/GuerraL14}, bibsource = {dblp computer science bibliography, http://dblp.org} } @proceedings{DBLP:conf/models/2014multi, editor = {Colin Atkinson and Georg Grossmann and Thomas K{\"{u}}hne and Juan de Lara}, title = {Workshop on Multi-Level Modelling, MULTI@MODELS 2014, Proceedings}, series = {{CEUR} Workshop Proceedings}, volume = {1286}, publisher = {CEUR-WS.org}, year = {2014}, url = {http://ceur-ws.org/Vol-1286}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/models/2014multi}, bibsource = {dblp computer science bibliography, http://dblp.org} }