BibTeX record conf/focs/BrazdilEK05

• > Home > conf/focs/BrazdilEK05

@inproceedings{DBLP:conf/focs/BrazdilEK05,
  author       = {Tom{\'{a}}s Br{\'{a}}zdil and
                  Javier Esparza and
                  Anton{\'{\i}}n Kucera},
  title        = {Analysis and Prediction of the Long-Run Behavior of Probabilistic
                  Sequential Programs with Recursion (Extended Abstract)},
  booktitle    = {46th Annual {IEEE} Symposium on Foundations of Computer Science {(FOCS}
                  2005), 23-25 October 2005, Pittsburgh, PA, USA, Proceedings},
  pages        = {521--530},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SFCS.2005.19},
  doi          = {10.1109/SFCS.2005.19},
  timestamp    = {Thu, 23 Mar 2023 23:57:55 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/BrazdilEK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}