%0 Conference Paper %1 conf/models/MaozRR11a %A Maoz, Shahar %A Ringert, Jan Oliver %A Rumpe, Bernhard %B MoDELS %D 2011 %E Whittle, Jon %E Clark, Tony %E Kühne, Thomas %I Springer %K dblp %P 592-607 %T CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. %U http://dblp.uni-trier.de/db/conf/models/models2011.html#MaozRR11a %V 6981 %@ 978-3-642-24484-1

@inproceedings{conf/models/MaozRR11a, added-at = {2017-06-15T00:00:00.000+0200}, author = {Maoz, Shahar and Ringert, Jan Oliver and Rumpe, Bernhard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2738c24de19502f5a6639aa81ebe4e63b/dblp}, booktitle = {MoDELS}, crossref = {conf/models/2011}, editor = {Whittle, Jon and Clark, Tony and Kühne, Thomas}, ee = {https://doi.org/10.1007/978-3-642-24485-8_44}, interhash = {a4ef836aa514649a0111cc2f08a1ce04}, intrahash = {738c24de19502f5a6639aa81ebe4e63b}, isbn = {978-3-642-24484-1}, keywords = {dblp}, pages = {592-607}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T16:51:39.000+0200}, title = {CD2Alloy: Class Diagrams Analysis Using Alloy Revisited.}, url = {http://dblp.uni-trier.de/db/conf/models/models2011.html#MaozRR11a}, volume = 6981, year = 2011 }