@inproceedings{BKS2004,
 address = {Berlin},
 author = {Tomáš Brázdil and Antonín Kučera and Oldřich Stražovský},
 booktitle = {Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004)},
 isbn = {3-540-22940-X},
 keywords = {probabilistic bisimilarity; probabilistic systems},
 language = {eng},
 location = {Berlin},
 pages = {193-208},
 publisher = {Springer},
 title = {Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems},
 year = {2004}
}