%0 Journal Article %1 journals/lmcs/ForejtJKW18 %A Forejt, Vojtech %A Jancar, Petr %A Kiefer, Stefan %A Worrell, James %D 2018 %J Log. Methods Comput. Sci. %K dblp %N 4 %T Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs14.html#ForejtJKW18 %V 14

@article{journals/lmcs/ForejtJKW18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Forejt, Vojtech and Jancar, Petr and Kiefer, Stefan and Worrell, James}, biburl = {https://www.bibsonomy.org/bibtex/264f77ec0231686440e4ac6dfcbe00a20/dblp}, ee = {https://doi.org/10.23638/LMCS-14(4:13)2018}, interhash = {5cd1586c709d8240c6add6eaca2592ec}, intrahash = {64f77ec0231686440e4ac6dfcbe00a20}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 4, timestamp = {2024-04-09T01:50:50.000+0200}, title = {Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs14.html#ForejtJKW18}, volume = 14, year = 2018 }