Cita APA (7a ed.)

Eichler, P., Baumeister, T., Sakr, M., Dowlati, M. K., Völp, M., & Jacobs, S. (2026). TACO: A Toolsuite for the Verification of Threshold Automata.

Cita Chicago Style (17a ed.)

Eichler, Paul, Tom Baumeister, Mouhammad Sakr, Mahboubeh Kalateh Dowlati, Marcus Völp, y Swen Jacobs. TACO: A Toolsuite for the Verification of Threshold Automata. 2026.

Cita MLA (9a ed.)

Eichler, Paul, et al. TACO: A Toolsuite for the Verification of Threshold Automata. 2026.