%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
}