APA (7th ed.) Citation

Bansal, S., Chaudhuri, S., & Vardi, M. Y. (2022). Comparator automata in quantitative verification. Logical Methods in Computer Science e.V.

Chicago Style (17th ed.) Citation

Bansal, Suguman, Swarat Chaudhuri, and Moshe Y. Vardi. Comparator Automata in Quantitative Verification. Logical Methods in Computer Science e.V, 2022.

MLA (9th ed.) Citation

Bansal, Suguman, et al. Comparator Automata in Quantitative Verification. Logical Methods in Computer Science e.V, 2022.