Research Output per year
Research Outputs 1987 2019
2005
Abstraction, refinement and proof for probabilistic systems
McIver, A. & Morgan, C., 2005, New York, USA: Springer, Springer Nature.Research output: Book/Report › Book › Research › peer-review
Semantics
Temporal logic
Model checking
Model structures