Benerecetti, M., Bozzelli, L., Mogavero, F., & Peron, A. (2024). Automata-Theoretic Characterisations of Branching-Time Temporal Logics.
Citazione stile Chigago Style (17a edizione)Benerecetti, Massimo, Laura Bozzelli, Fabio Mogavero, e Adriano Peron. Automata-Theoretic Characterisations of Branching-Time Temporal Logics. 2024.
Citatione MLA (9a ed.)Benerecetti, Massimo, et al. Automata-Theoretic Characterisations of Branching-Time Temporal Logics. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.