Tomás Brázdil Antonín Kucera Oldrich Strazovský Deciding probabilistic bisimilarity over infinite-state probabilistic systems. 131-154 2008 45 Acta Inf. 2 http://dx.doi.org/10.1007/s00236-007-0066-8 db/journals/acta/acta45.html#BrazdilKS08