APA-Zitierstil (7. Ausg.)

Artale, A., Geatti, L., Gigante, N., Mazzullo, A., & Montanari, A. (2022). Complexity of Safety and coSafety Fragments of Linear Temporal Logic.

Chicago-Zitierstil (17. Ausg.)

Artale, Alessandro, Luca Geatti, Nicola Gigante, Andrea Mazzullo, und Angelo Montanari. Complexity of Safety and CoSafety Fragments of Linear Temporal Logic. 2022.

MLA-Zitierstil (9. Ausg.)

Artale, Alessandro, et al. Complexity of Safety and CoSafety Fragments of Linear Temporal Logic. 2022.