BibTeX record conf/nsdi/YangCWXLLYLZZ09

download as .bib file

@inproceedings{DBLP:conf/nsdi/YangCWXLLYLZZ09,
  author       = {Junfeng Yang and
                  Tisheng Chen and
                  Ming Wu and
                  Zhilei Xu and
                  Xuezheng Liu and
                  Haoxiang Lin and
                  Mao Yang and
                  Fan Long and
                  Lintao Zhang and
                  Lidong Zhou},
  editor       = {Jennifer Rexford and
                  Emin G{\"{u}}n Sirer},
  title        = {{MODIST:} Transparent Model Checking of Unmodified Distributed Systems},
  booktitle    = {Proceedings of the 6th {USENIX} Symposium on Networked Systems Design
                  and Implementation, {NSDI} 2009, April 22-24, 2009, Boston, MA, {USA}},
  pages        = {213--228},
  publisher    = {{USENIX} Association},
  year         = {2009},
  url          = {http://www.usenix.org/events/nsdi09/tech/full\_papers/yang/yang.pdf},
  timestamp    = {Thu, 24 Nov 2022 09:18:43 +0100},
  biburl       = {https://dblp.org/rec/conf/nsdi/YangCWXLLYLZZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics