SoekenWKGD10'

@inproceedings{DBLP:conf/date/SoekenWKGD10,
  author    = {Mathias Soeken and
               Robert Wille and
               Mirco Kuhlmann and
               Martin Gogolla and
               Rolf Drechsler},
  title     = {Verifying UML/OCL models using Boolean satisfiability},
  booktitle = {DATE},
  year      = {2010},
  pages     = {1341-1344},
  ee        = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457017},
  crossref  = {DBLP:conf/date/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/date/2010,
  title     = {Design, Automation and Test in Europe, DATE 2010, Dresden,
               Germany, March 8-12, 2010},
  booktitle = {DATE},
  publisher = {IEEE},
  year      = {2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}