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.) CitationBaumeister, 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.) CitationBaumeister, Tom, et al. Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata. 2024.
Warning: These citations may not always be 100% accurate.