Oldřich Stražovský

2004

Tomáš Brázdil, Antonín Kučera, and Oldřich Stražovský:
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems,
Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), Springer, 2004, 193-208. [bibtex]