BibTeX record conf/osdi/MusuvathiPCED02

download as .bib file

@inproceedings{DBLP:conf/osdi/MusuvathiPCED02,
  author    = {Madanlal Musuvathi and
               David Y. W. Park and
               Andy Chou and
               Dawson R. Engler and
               David L. Dill},
  title     = {{CMC:} {A} Pragmatic Approach to Model Checking Real Code},
  booktitle = {5th Symposium on Operating System Design and Implementation {(OSDI}
               2002), Boston, Massachusetts, USA, December 9-11, 2002},
  year      = {2002},
  crossref  = {DBLP:conf/osdi/2002},
  url       = {http://www.usenix.org/events/osdi02/tech/musuvathi.html},
  timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/MusuvathiPCED02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/osdi/2002,
  editor    = {David E. Culler and
               Peter Druschel},
  title     = {5th Symposium on Operating System Design and Implementation {(OSDI}
               2002), Boston, Massachusetts, USA, December 9-11, 2002},
  publisher = {{USENIX} Association},
  year      = {2002},
  isbn      = {978-1-4503-0111-4},
  timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics