Assume-guarantee verification for probabilistic systems (2010)

by M Z Kwiatkowska, G Norman, D Parker, H Qu
Venue:In TACAS, LNCS 6015