Eichler, P., Baumeister, T., Sakr, M., Dowlati, M. K., Völp, M., & Jacobs, S. (2026). TACO: A Toolsuite for the Verification of Threshold Automata.
Citazione stile Chigago Style (17a edizione)Eichler, Paul, Tom Baumeister, Mouhammad Sakr, Mahboubeh Kalateh Dowlati, Marcus Völp, e Swen Jacobs. TACO: A Toolsuite for the Verification of Threshold Automata. 2026.
Citatione MLA (9a ed.)Eichler, Paul, et al. TACO: A Toolsuite for the Verification of Threshold Automata. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.