APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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