• 1066 Citations
  • 17 h-Index
1987 …2021
If you made any changes in Pure these will be visible here soon.

Research Outputs 1987 2019

Filter
Book
2005

Abstraction, refinement and proof for probabilistic systems

McIver, A. & Morgan, C., 2005, New York, USA: Springer, Springer Nature.

Research output: Book/ReportBookResearchpeer-review

Semantics
Temporal logic
Model checking
Model structures