BibTeX record conf/memocode/SinhaMWG11

• > Home > conf/memocode/SinhaMWG11

@inproceedings{DBLP:conf/memocode/SinhaMWG11,
  author       = {Arnab Sinha and
                  Sharad Malik and
                  Chao Wang and
                  Aarti Gupta},
  editor       = {Satnam Singh and
                  Barbara Jobstmann and
                  Michael Kishinevsky and
                  Jens Brandt},
  title        = {Predictive analysis for detecting serializability violations through
                  Trace Segmentation},
  booktitle    = {9th {IEEE/ACM} International Conference on Formal Methods and Models
                  for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
  pages        = {99--108},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/MEMCOD.2011.5970516},
  doi          = {10.1109/MEMCOD.2011.5970516},
  timestamp    = {Fri, 06 Sep 2024 20:42:59 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/SinhaMWG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}