%0 Conference Paper %1 conf/aiia/CadoliCGM07 %A Cadoli, Marco %A Calvanese, Diego %A Giacomo, Giuseppe De %A Mancini, Toni %B AI*IA %D 2007 %E Basili, Roberto %E Pazienza, Maria Teresa %I Springer %K dblp %P 36-47 %T Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. %U http://dblp.uni-trier.de/db/conf/aiia/aiia2007.html#CadoliCGM07 %V 4733 %@ 978-3-540-74781-9

@inproceedings{conf/aiia/CadoliCGM07, added-at = {2017-05-23T00:00:00.000+0200}, author = {Cadoli, Marco and Calvanese, Diego and Giacomo, Giuseppe De and Mancini, Toni}, biburl = {https://www.bibsonomy.org/bibtex/2b938232fbd7603dfccc828aa49839b21/dblp}, booktitle = {AI*IA}, crossref = {conf/aiia/2007}, editor = {Basili, Roberto and Pazienza, Maria Teresa}, ee = {https://doi.org/10.1007/978-3-540-74782-6_5}, interhash = {361060cfec162b6bf12f189477359431}, intrahash = {b938232fbd7603dfccc828aa49839b21}, isbn = {978-3-540-74781-9}, keywords = {dblp}, pages = {36-47}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:27:08.000+0200}, title = {Finite Model Reasoning on UML Class Diagrams Via Constraint Programming.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia2007.html#CadoliCGM07}, volume = 4733, year = 2007 }