Cita APA (7a ed.)

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.