@InProceedings{KNPQ10,
author={M. Kwiatkowska and G. Norman and D. Parker and H. Qu},
title={Assume-Guarantee Verification for Probabilistic Systems},
booktitle={Proc. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10)},
year={2010},

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