Cimatti, A., Geatti, L., Gigante, N., Montanari, A., & Tonetta, S. (2022). A first-order logic characterization of safety and co-safety languages.
Citazione stile Chigago Style (17a edizione)Cimatti, Alessandro, Luca Geatti, Nicola Gigante, Angelo Montanari, e Stefano Tonetta. A First-order Logic Characterization of Safety and Co-safety Languages. 2022.
Citatione MLA (9a ed.)Cimatti, Alessandro, et al. A First-order Logic Characterization of Safety and Co-safety Languages. 2022.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.