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}
}