View Scopus Profile

Annabelle McIver

Professor

Professor, Department of Computing

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

Phone00610298509579
Emailannabelle.mciver@mq.edu.au

1096 Citations
18 h-Index

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

Research Outputs 1987 2019

1096 Citations
18 h-Index
44 Article
42 Conference proceeding contribution
5 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

Your message has successfully been sent.

Your message was not sent due to an error.