APA (7th ed.) Citation

Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M., & Vandin, A. (2021, June 29). Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-14. https://doi.org/10.1109/LICS52264.2021.9470555

Chicago Style (17th ed.) Citation

Bacci, Giorgio, Giovanni Bacci, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin. "Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-14. https://doi.org/10.1109/LICS52264.2021.9470555.

MLA (9th ed.) Citation

Bacci, Giorgio, et al. "Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-14, https://doi.org/10.1109/LICS52264.2021.9470555.