Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

@inproceedings{Campos1996SelectiveQA,
  title={Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System},
  author={S{\'e}rgio Vale Aguiar Campos and Orna Grumberg},
  booktitle={CAV},
  year={1996}
}
Highly Cited
This paper has 29 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.