Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Benjamin Lucien Kaminski  [Clear All Filters]
2015
B. L. Kaminski and J. - P. Katoen, “On the Hardness of Almost-Sure Termination”, in Mathematical Foundations of Computer Science 2015 - 40th International Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part {I}, 2015.