Abstraction and refinement in probabilistic systems

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	41-47
Number of pages	7
Journal	Performance Evaluation Review
Volume	32
Issue number	4
DOIs	https://doi.org/10.1145/1059816.1059824
Publication status	Published - 2005

Access to Document

@article{d9052a1214bb4da18c6c219e36d6d71f,

title = "Abstraction and refinement in probabilistic systems",

author = "McIver, \{Annabelle Kate\} and Carroll Morgan",

year = "2005",

doi = "10.1145/1059816.1059824",

language = "English",

volume = "32",

pages = "41--47",

journal = "Performance Evaluation Review",

issn = "0163-5999",

publisher = "Association for Computing Machinery",

number = "4",

}