APA aipamena

Forejt, V., Jancar, P., Kiefer, S., & Worrell, J. (2018). Game characterization of probabilistic bisimilarity, and applications to pushdown automata. International Federation of Computational Logic.

Chicago Style aipamena

Forejt, V., P. Jancar, S. Kiefer, and J. Worrell. Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata. International Federation of Computational Logic, 2018.

MLA aipamena

Forejt, V., et al. Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata. International Federation of Computational Logic, 2018.