_id,doi,title
3869,10.2168/LMCS-5(2:7)2009,Qualitative logics and equivalences for probabilistic systems