DBLP Record 'journals/fmsd/DwyerHRR04'

BibTeX

@article{DBLP:journals/fmsd/DwyerHRR04,
  author    = {Matthew B. Dwyer and
               John Hatcliff and
               Robby and
               Venkatesh Prasad Ranganath},
  title     = {Exploiting Object Escape and Locking Information in Partial-Order
               Reductions for Concurrent Object-Oriented Programs},
  journal   = {Formal Methods in System Design},
  volume    = {25},
  number    = {2-3},
  year      = {2004},
  pages     = {199-240},
  ee        = {http://www.springerlink.com/index/10.1023/B:FORM.0000040028.49845.67},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}