@phdthesis{us-5228,
  title = {CMC: a model checker for network protocol implementations},
  author = {Madanlal Musuvathi},
  year = {2004},
  url = {https://searchworks.stanford.edu/view/5685590},
  researchr = {https://researchr.org/publication/us-5228},
  cites = {0},
  citedby = {0},
  school = {Stanford University, USA},
}