BaekBKO10'

@inproceedings{DBLP:conf/iceccs/BaekBKO10,
  author    = {Woongki Baek and
               Nathan Grasso Bronson and
               Christos Kozyrakis and
               Kunle Olukotun},
  title     = {Implementing and Evaluating a Model Checker for Transactional
               Memory Systems},
  booktitle = {ICECCS},
  year      = {2010},
  pages     = {117-126},
  ee        = {http://dx.doi.org/10.1109/ICECCS.2010.30},
  crossref  = {DBLP:conf/iceccs/2010},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iceccs/2010,
  editor    = {Radu Calinescu and
               Richard F. Paige and
               Marta Z. Kwiatkowska},
  title     = {15th IEEE International Conference on Engineering of Complex
               Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26
               March 2010},
  booktitle = {ICECCS},
  publisher = {IEEE Computer Society},
  year      = {2010},
  isbn      = {978-0-7695-4015-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}