Cita APA (7a ed.)

Koenig, L., Schildwaechter, C., Klauck, M., & Heinzemann, C. (2025). Supplementary Material for "Driving by Disproof: A Model Checking Approach to Fleet Coordination". Zenodo.

Cita Chicago Style (17a ed.)

Koenig, Lukas, Christian Schildwaechter, Michaela Klauck, y Christian Heinzemann. Supplementary Material for "Driving by Disproof: A Model Checking Approach to Fleet Coordination". Zenodo, 2025.

Cita MLA (9a ed.)

Koenig, Lukas, et al. Supplementary Material for "Driving by Disproof: A Model Checking Approach to Fleet Coordination". Zenodo, 2025.