DBLP BibTeX Record 'journals/fmsd/DonaldsonKR11'

@article{DBLP:journals/fmsd/DonaldsonKR11,
  author    = {Alastair F. Donaldson and
               Daniel Kroening and
               Philipp R{\"u}mmer},
  title     = {Automatic analysis of DMA races using model checking and
               {\it k}-induction},
  journal   = {Formal Methods in System Design},
  volume    = {39},
  number    = {1},
  year      = {2011},
  pages     = {83-113},
  ee        = {http://dx.doi.org/10.1007/s10703-011-0124-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}