Bacci, G., Bacci, G., Larsen, K. G., Mardare, R., Tang, Q., & Breugel, F. v. (2021). Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Logical Methods in Computer Science e.V.
Chicago Style (17th ed.) CitationBacci, Giorgio, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, and Franck van Breugel. Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Logical Methods in Computer Science e.V, 2021.
MLA (9th ed.) CitationBacci, Giorgio, et al. Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Logical Methods in Computer Science e.V, 2021.
Warning: These citations may not always be 100% accurate.