@article{lmcs:4972,
    Author = {Forejt, Vojt{\v e}ch and Jan{\v c}ar, Petr and Kiefer, Stefan and Worrell, James},
    File = {1711.06120 (0) - a - a - r.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Formal Languages and Automata Theory},
    Month = {November},
    Title = {{Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata}},
    URL = {https://lmcs.episciences.org/4972},
    Volume = {{Volume 14, Issue 4}},
    Year = {2018},
    bdsk-url-1 = {https://lmcs.episciences.org/4972},
    bdsk-url-2 = {https://doi.org/10.23638/LMCS-14(4:13)2018},
    date-added = {2018-11-20 22:11:56 +0100},
    date-modified = {2018-11-20 22:11:56 +0100},
    doi = {10.23638/LMCS-14(4:13)2018}
}

@article{lmcs:4972, Author = {Forejt, Vojt{\v e}ch and Jan{\v c}ar, Petr and Kiefer, Stefan and Worrell, James}, File = {1711.06120 (0) - a - a - r.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Logic in Computer Science ; Computer Science - Formal Languages and Automata Theory}, Month = {November}, Title = {{Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata}}, URL = {https://lmcs.episciences.org/4972}, Volume = {{Volume 14, Issue 4}}, Year = {2018}, bdsk-url-1 = {https://lmcs.episciences.org/4972}, bdsk-url-2 = {https://doi.org/10.23638/LMCS-14(4:13)2018}, date-added = {2018-11-20 22:11:56 +0100}, date-modified = {2018-11-20 22:11:56 +0100}, doi = {10.23638/LMCS-14(4:13)2018} }