Boker, U., Henzinger, T. A., Mazzocchi, N., & Saraç, N. E. (2023). Safety and Liveness of Quantitative Properties and Automata.
Style de citation Chicago (17e éd.)Boker, Udi, Thomas A. Henzinger, Nicolas Mazzocchi, et N. Ege Saraç. Safety and Liveness of Quantitative Properties and Automata. 2023.
Style de citation MLA (9e éd.)Boker, Udi, et al. Safety and Liveness of Quantitative Properties and Automata. 2023.
Attention : ces citations peuvent ne pas être correctes à 100%.