Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Jan Kret{\'ı}nský  [Clear All Filters]
2014
H. Hermanns, J. Krčál, and J. Kret{\'ı}nský, “Probabilistic Bisimulation: Naturally on Distributions”, in {CONCUR} 2014 - Concurrency Theory - 25th International Conference, {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings, 2014.