APA (7th ed.) Citation

Benerecetti, M., Bozzelli, L., Mogavero, F., & Peron, A. (2024). Automata-Theoretic Characterisations of Branching-Time Temporal Logics.

Chicago Style (17th ed.) Citation

Benerecetti, Massimo, Laura Bozzelli, Fabio Mogavero, and Adriano Peron. Automata-Theoretic Characterisations of Branching-Time Temporal Logics. 2024.

MLA (9th ed.) Citation

Benerecetti, Massimo, et al. Automata-Theoretic Characterisations of Branching-Time Temporal Logics. 2024.