Publications

Filters: Author is Giovanni Pighizzini  [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.