View Scopus Profile

Annabelle McIver

Professor

Professor, Department of Computing

https://orcid.org/0000-0002-2405-9838

Phone+61 2 9850 9579
Emailannabelle.mciver@mq.edu.au

1080 Citations
18 h-Index

If you made any changes in Pure these will be visible here soon.

Research Outputs 1987 2019

1080 Citations
18 h-Index
43 Article
41 Conference proceeding contribution
4 Chapter
3 Conference paper
6 More

1 results
Publication Year, Title (descending)

Filter

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