Abstraction and refinement in probabilistic systems

Annabelle Kate McIver, Carroll Morgan

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)41-47
Number of pages7
JournalPerformance Evaluation Review
Volume32
Issue number4
DOIs
Publication statusPublished - 2005

Cite this