Masaryk University

Publication Records

česky | in English

Filter publications

    2008

    1. Deciding probabilistic bisimilarity over infinite-state probabilistic systems
      BRÁZDIL, Tomáš, Antonín KUČERA and Oldřich STRAŽOVSKÝ. Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta informatica. Berlin: Springer-Verlag, 2008, vol. 45, No 2, p. 131-154. ISSN 0001-5903.
      More: https://is.muni.cz/publication/763242/en

    2004

    1. Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems
      BRÁZDIL, Tomáš, Antonín KUČERA and Oldřich STRAŽOVSKÝ. Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. P. Gardner, N. Yoshida (Eds.). In Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004). Berlin: Springer, 2004, p. 193-208. ISBN 3-540-22940-X.
      More: https://is.muni.cz/publication/557410/en
Display details
Displayed: 25/5/2024 00:00