Baumeister, T., Eichler, P., Jacobs, S., Sakr, M., & Völp, M. (2024). Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata.
Cita Chicago Style (17a ed.)Baumeister, Tom, Paul Eichler, Swen Jacobs, Mouhammad Sakr, y Marcus Völp. Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata. 2024.
Cita MLA (9a ed.)Baumeister, Tom, et al. Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata. 2024.
Precaución: Estas citas no son 100% exactas.