DOI,IST REx ID,Title of publication
10.2168/LMCS-5(2:7)2009,3869,Qualitative logics and equivalences for probabilistic systems