APA-Zitierstil (7. Ausg.)

Roveri, M., Di Ciccio, C., Di Francescomarino, C., & Ghidini, C. (2022). Computing unsatisfiable cores for LTLf specifications.

Chicago-Zitierstil (17. Ausg.)

Roveri, Marco, Claudio Di Ciccio, Chiara Di Francescomarino, und Chiara Ghidini. Computing Unsatisfiable Cores for LTLf Specifications. 2022.

MLA-Zitierstil (9. Ausg.)

Roveri, Marco, et al. Computing Unsatisfiable Cores for LTLf Specifications. 2022.