Eichler, P., Baumeister, T., Sakr, M., Dowlati, M. K., Völp, M., & Jacobs, S. (2026). TACO: A Toolsuite for the Verification of Threshold Automata.
Style de citation Chicago (17e éd.)Eichler, Paul, Tom Baumeister, Mouhammad Sakr, Mahboubeh Kalateh Dowlati, Marcus Völp, et Swen Jacobs. TACO: A Toolsuite for the Verification of Threshold Automata. 2026.
Style de citation MLA (9e éd.)Eichler, Paul, et al. TACO: A Toolsuite for the Verification of Threshold Automata. 2026.
Attention : ces citations peuvent ne pas être correctes à 100%.