BibTeX record: conf/iceccs/BaekBKO10

download as .bib file

@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 = {15th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
  year      = {2010},
  pages     = {117--126},
  crossref  = {DBLP:conf/iceccs/2010},
  url       = {http://dx.doi.org/10.1109/ICECCS.2010.30},
  doi       = {10.1109/ICECCS.2010.30},
  timestamp = {Sun, 26 Oct 2014 04:07:59 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iceccs/BaekBKO10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  year      = {2010},
  publisher = {{IEEE} Computer Society},
  isbn      = {978-0-7695-4015-3},
  timestamp = {Sun, 26 Oct 2014 04:07:59 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iceccs/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}