@article{journals/corr/KaminskiK14,
  added-at = {2014-11-02T00:00:00.000+0100},
  author = {Kaminski, Benjamin Lucien and Katoen, Joost-Pieter},
  biburl = {http://www.bibsonomy.org/bibtex/2675ad5339a58f6a45f335d6180b42dd9/dblp},
  ee = {http://arxiv.org/abs/1410.7225},
  interhash = {c5f49b320e2ffecc15401e322e70f21f},
  intrahash = {675ad5339a58f6a45f335d6180b42dd9},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2015-06-18T04:39:09.000+0200},
  title = {Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1410.html#KaminskiK14},
  volume = {abs/1410.7225},
  year = 2014
}

{"_id":"QbREqNuReubXBL9bA","bibbaseid":"kaminski-katoen-analyzingexpectedoutcomesandalmostsureterminationofprobabilisticprogramsishard-2014","downloads":0,"creationDate":"2016-04-12T13:16:32.308Z","title":"Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard.","author_short":["Kaminski, B. L.","Katoen, J."],"year":2014,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2014-11-02T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Benjamin","Lucien"],"suffixes":[]},{"propositions":[],"lastnames":["Katoen"],"firstnames":["Joost-Pieter"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2675ad5339a58f6a45f335d6180b42dd9/dblp","ee":"http://arxiv.org/abs/1410.7225","interhash":"c5f49b320e2ffecc15401e322e70f21f","intrahash":"675ad5339a58f6a45f335d6180b42dd9","journal":"CoRR","keywords":"dblp","timestamp":"2015-06-18T04:39:09.000+0200","title":"Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard.","url":"http://dblp.uni-trier.de/db/journals/corr/corr1410.html#KaminskiK14","volume":"abs/1410.7225","year":"2014","bibtex":"@article{journals/corr/KaminskiK14,\n added-at = {2014-11-02T00:00:00.000+0100},\n author = {Kaminski, Benjamin Lucien and Katoen, Joost-Pieter},\n biburl = {http://www.bibsonomy.org/bibtex/2675ad5339a58f6a45f335d6180b42dd9/dblp},\n ee = {http://arxiv.org/abs/1410.7225},\n interhash = {c5f49b320e2ffecc15401e322e70f21f},\n intrahash = {675ad5339a58f6a45f335d6180b42dd9},\n journal = {CoRR},\n keywords = {dblp},\n timestamp = {2015-06-18T04:39:09.000+0200},\n title = {Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1410.html#KaminskiK14},\n volume = {abs/1410.7225},\n year = 2014\n}\n\n","author_short":["Kaminski, B. L.","Katoen, J."],"key":"journals/corr/KaminskiK14","id":"journals/corr/KaminskiK14","bibbaseid":"kaminski-katoen-analyzingexpectedoutcomesandalmostsureterminationofprobabilisticprogramsishard-2014","role":"author","urls":{"Link":"http://arxiv.org/abs/1410.7225","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1410.html#KaminskiK14"},"keyword":["dblp"],"downloads":0},"search_terms":["analyzing","expected","outcomes","sure","termination","probabilistic","programs","hard","kaminski","katoen"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}