Symbolic Model Checking: an approach to the state explosion problem (bibtex)

by Kenneth L. McMillan

Reference:

Symbolic Model Checking: an approach to the state explosion problem (Kenneth L. McMillan), PhD thesis, Carnegie Mellon, 1992.

Bibtex Entry:

@phdthesis{McMillanSymbolicModel1992,
  author    = {Kenneth L. McMillan},
  title     = {Symbolic Model Checking: an approach to the state explosion problem},
  school    = {Carnegie Mellon},
  year      = "1992",
  note      = {{CMU} Tech Rpt. {CMU-CS-92-131}},
  url       = {thesis.pdf}
}