@InProceedings{McI06,
author={A. McIver},
title={Quantitative refinement and model checking for the analysis of probabilistic systems},
booktitle={Proc. Formal Methods (FM'06)},
year={2006},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={To appear},
key={}
}