%0 Conference Paper %1 MRR11e %A Maoz, Shahar %A Ringert, Jan Oliver %A Rumpe, Bernhard %B Conference on Model Driven Engineering Languages and Systems (MODELS'11) %D 2011 %I Springer %K imported rwthAachenSE %P 592--607 %T CD2Alloy: Class Diagrams Analysis Using Alloy Revisited %U http://www.se-rwth.de/publications/CD2Alloy-Class-Diagrams-Analysis-Using-Alloy-Revisited.pdf

@inproceedings{MRR11e, added-at = {2021-01-15T11:47:37.000+0100}, author = {Maoz, Shahar and Ringert, Jan Oliver and Rumpe, Bernhard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28b2629673ffa42217be4fec70cbbbb4f/isw-bibliothek}, booktitle = {Conference on Model Driven Engineering Languages and Systems (MODELS'11)}, interhash = {a4ef836aa514649a0111cc2f08a1ce04}, intrahash = {8b2629673ffa42217be4fec70cbbbb4f}, key = {MRR11e}, keywords = {imported rwthAachenSE}, pages = {592--607}, publisher = {Springer}, series = {LNCS 6981}, timestamp = {2021-01-15T10:47:37.000+0100}, title = {{CD2Alloy: Class Diagrams Analysis Using Alloy Revisited}}, url = {http://www.se-rwth.de/publications/CD2Alloy-Class-Diagrams-Analysis-Using-Alloy-Revisited.pdf}, year = 2011 }