book chapter · The MIT Press eBooks · 1997

Model Checking

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

APA 7

(1997). Model Checking. The MIT Press eBooks. https://doi.org/10.7551/mitpress/4283.003.0014

MLA 9

“Model Checking.” The MIT Press eBooks, 1997, https://doi.org/10.7551/mitpress/4283.003.0014.

Chicago

1997. “Model Checking.” The MIT Press eBooks. https://doi.org/10.7551/mitpress/4283.003.0014.

Harvard

(1997) ‘Model Checking’, The MIT Press eBooks. Available at: https://doi.org/10.7551/mitpress/4283.003.0014.

BibTeX

@incollection{anon1997model,
  title = {{Model Checking}},
  booktitle = {The MIT Press eBooks},
  year = {1997},
  doi = {10.7551/mitpress/4283.003.0014}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.