Lee, M. D., de Vink, E. P., & https://orcid.org/0000-0001-9514-2260. (2023). Logical characterization of bisimulation for transition relations over probability distributions with internal actions.
Chicago Style (17th ed.) CitationLee, Matías David, Erik P. de Vink, and https://orcid.org/0000-0001-9514-2260. Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. 2023.
MLA (9th ed.) CitationLee, Matías David, et al. Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions. 2023.