Citazione Stile APA (7a Edizione)

Chalupa, M., Henzinger, T., Mazzocchi, N., & Saraç, N. E. (2024). QuAK: Quantitative Automata Kit (artifact). Zenodo.

Citazione stile Chigago Style (17a edizione)

Chalupa, Marek, Thomas Henzinger, Nicolas Mazzocchi, e N. Ege Saraç. QuAK: Quantitative Automata Kit (artifact). Zenodo, 2024.

Citatione MLA (9a ed.)

Chalupa, Marek, et al. QuAK: Quantitative Automata Kit (artifact). Zenodo, 2024.