by Benjamin Lucien Kaminski, Joost-Pieter Katoen
Reference:
On the Hardness of Almost-Sure Termination (Benjamin Lucien Kaminski, Joost-Pieter Katoen), In CoRR, volume abs/1506.01930, 2015.
Bibtex Entry:
@article{DBLP:journals/corr/KaminskiK15, author = {Benjamin Lucien Kaminski and Joost{-}Pieter Katoen}, title = {On the Hardness of Almost-Sure Termination}, journal = {CoRR}, volume = {abs/1506.01930}, year = {2015}, url = {http://arxiv.org/abs/1506.01930}, timestamp = {Wed, 01 Jul 2015 15:10:24 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/KaminskiK15}, bibsource = {dblp computer science bibliography, http://dblp.org} }