On the Hardness of Almost-Sure Termination

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

Bookmark the permalink.