@InProceedings{BGH09,
author={A. Basu and A. Ghosh and R. He},
title={Approximate Probabilistic Model Checking Using Bounded Until Properties},
booktitle={Proc. 11th International Conference on Formal Engineering Methods (ICFEM'09),},
year={2009},

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