APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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