@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={J. Esparza and R. Majumdar},
pages={23--37},
organization={},
publisher={Springer},
series={LNCS},
volume={6105},
address={},
month={},
note={},
key={}
}