Chatterjee, K., Henzinger, M., & Loitzenbauer, V. (2015, July). Improved Algorithms for One-Pair and k-Pair Streett Objectives. 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 269-280. https://doi.org/10.1109/LICS.2015.34
Chicago Style (17th ed.) CitationChatterjee, Krishnendu, Monika Henzinger, and Veronika Loitzenbauer. "Improved Algorithms for One-Pair and K-Pair Streett Objectives." 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science Jul. 2015: 269-280. https://doi.org/10.1109/LICS.2015.34.
MLA (9th ed.) CitationChatterjee, Krishnendu, et al. "Improved Algorithms for One-Pair and K-Pair Streett Objectives." 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul. 2015, pp. 269-280, https://doi.org/10.1109/LICS.2015.34.