BibTeX record conf/hotos/LaadanTVBDN11

• > Home > conf/hotos/LaadanTVBDN11

@inproceedings{DBLP:conf/hotos/LaadanTVBDN11,
  author       = {Oren Laadan and
                  Chia{-}Che Tsai and
                  Nicolas Viennot and
                  Chris Blinn and
                  Peter Senyao Du and
                  Jason Nieh},
  editor       = {Matt Welsh},
  title        = {Finding Concurrency Errors in Sequential Code - OS-level, In-vivo
                  Model Checking of Process Races},
  booktitle    = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa,
                  California, USA, May 9-11, 2011},
  publisher    = {{USENIX} Association},
  year         = {2011},
  url          = {https://www.usenix.org/conference/hotosxiii/finding-concurrency-errors-sequential-code\%E2\%80\%94os-level-vivo-model-checking-process},
  timestamp    = {Thu, 15 Aug 2024 17:15:05 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/LaadanTVBDN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}