Artale, A., Geatti, L., Gigante, N., Mazzullo, A., & Montanari, A. (2022). Complexity of Safety and coSafety Fragments of Linear Temporal Logic.
Style de citation Chicago (17e éd.)Artale, Alessandro, Luca Geatti, Nicola Gigante, Andrea Mazzullo, et Angelo Montanari. Complexity of Safety and CoSafety Fragments of Linear Temporal Logic. 2022.
Style de citation MLA (9e éd.)Artale, Alessandro, et al. Complexity of Safety and CoSafety Fragments of Linear Temporal Logic. 2022.
Attention : ces citations peuvent ne pas être correctes à 100%.