MaraeeB07'

BibTeX

@inproceedings{DBLP:conf/ecmdafa/MaraeeB07,
  author    = {Azzam Maraee and
               Mira Balaban},
  title     = {Efficient Reasoning About Finite Satisfiability of UML Class
               Diagrams with Constrained Generalization Sets},
  booktitle = {ECMDA-FA},
  year      = {2007},
  pages     = {17-31},
  ee        = {http://dx.doi.org/10.1007/978-3-540-72901-3_2},
  crossref  = {DBLP:conf/ecmdafa/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ecmdafa/2007,
  editor    = {David H. Akehurst and
               R{\'e}gis Vogel and
               Richard F. Paige},
  title     = {Model Driven Architecture- Foundations and Applications,
               Third European Conference, ECMDA-FA 2007, Haifa, Israel,
               June 11-15, 2007, Proccedings},
  booktitle = {ECMDA-FA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4530},
  year      = {2007},
  isbn      = {978-3-540-72900-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}