APA (7th ed.) Citation

Baumeister, T., Eichler, P., Jacobs, S., Sakr, M., & Völp, M. (2024). Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata.

Chicago Style (17th ed.) Citation

Baumeister, Tom, Paul Eichler, Swen Jacobs, Mouhammad Sakr, and Marcus Völp. Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata. 2024.

MLA (9th ed.) Citation

Baumeister, Tom, et al. Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata. 2024.