BibTeX record journals/iandc/BrazdilBKO11

download as .bib file

@article{DBLP:journals/iandc/BrazdilBKO11,
  author    = {Tom{\'{a}}s Br{\'{a}}zdil and
               V{\'{a}}clav Brozek and
               Anton{\'{\i}}n Kucera and
               Jan Obdrz{\'{a}}lek},
  title     = {Qualitative reachability in stochastic {BPA} games},
  journal   = {Inf. Comput.},
  volume    = {209},
  number    = {8},
  pages     = {1160--1183},
  year      = {2011}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics