%0 Journal Article %1 journals/acta/BrazdilKS08 %A Brázdil, Tomás %A Kucera, Antonín %A Strazovský, Oldrich %D 2008 %J Acta Inf. %K dblp %N 2 %P 131-154 %T Deciding probabilistic bisimilarity over infinite-state probabilistic systems. %U http://dblp.uni-trier.de/db/journals/acta/acta45.html#BrazdilKS08 %V 45

@article{journals/acta/BrazdilKS08, added-at = {2019-08-30T00:00:00.000+0200}, author = {Brázdil, Tomás and Kucera, Antonín and Strazovský, Oldrich}, biburl = {https://www.bibsonomy.org/bibtex/27aa3c345e764a464fb7eec04f49e5a9d/dblp}, ee = {https://doi.org/10.1007/s00236-007-0066-8}, interhash = {785c5d544b4968d394c171d1b690bee6}, intrahash = {7aa3c345e764a464fb7eec04f49e5a9d}, journal = {Acta Inf.}, keywords = {dblp}, number = 2, pages = {131-154}, timestamp = {2019-08-31T11:39:18.000+0200}, title = {Deciding probabilistic bisimilarity over infinite-state probabilistic systems.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta45.html#BrazdilKS08}, volume = 45, year = 2008 }