Publications

Export 2 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Vojtech Forejt  [Clear All Filters]
2015
V. Forejt and J. Krčál, “On Frequency {LTL} in Probabilistic Systems”, in 26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015, 2015.