On the Hardness of Almost-Sure Termination
| Title | On the Hardness of Almost-Sure Termination |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Kaminski, BL, Katoen, J-P |
| Editor | Italiano, GF, Pighizzini, G, Sannella, D |
| Conference Name | Mathematical Foundations of Computer Science 2015 - 40th International Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part {I} |
| Publisher | Springer |
| URL | http://dx.doi.org/10.1007/978-3-662-48057-1_24 |
| DOI | 10.1007/978-3-662-48057-1_24 |
Work Package:
WP1
