book chapter · IrInSubria (University of Insubria) · 2009

Model checking

Peled D., Pelliccione P., SPOLETINI, PAOLA

Cited by 0Abstract and details only

Abstract

The index has no abstract for this paper.

Cite this paper

APA 7

D., P., P., P., & SPOLETINI, P. (2009). Model checking. IrInSubria (University of Insubria).

MLA 9

D., Peled, et al. “Model checking.” IrInSubria (University of Insubria), 2009.

Chicago

D., Peled, Pelliccione P., and PAOLA SPOLETINI. 2009. “Model checking.” IrInSubria (University of Insubria).

Harvard

D., P., P., P. and SPOLETINI, P. (2009) ‘Model checking’, IrInSubria (University of Insubria).

BibTeX

@incollection{d2009model,
  title = {{Model checking}},
  author = {D., Peled and P., Pelliccione and SPOLETINI, PAOLA},
  booktitle = {IrInSubria (University of Insubria)},
  year = {2009}
}

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