Cita APA (7a ed.)

Aminof, B., Rubin, S., Spegni, F., & Zuleger, F. (2023). Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems.

Cita Chicago Style (17a ed.)

Aminof, Benjamin, Sasha Rubin, Francesco Spegni, y Florian Zuleger. Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems. 2023.

Cita MLA (9a ed.)

Aminof, Benjamin, et al. Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems. 2023.