Ohlmann, G., Court, E. H. l., & Belardinelli, F. (2025). Synthesis of Safety Specifications for Probabilistic Systems.
Style de citation Chicago (17e éd.)Ohlmann, Gaspard, Edwin Hamel-De le Court, et Francesco Belardinelli. Synthesis of Safety Specifications for Probabilistic Systems. 2025.
Style de citation MLA (9e éd.)Ohlmann, Gaspard, et al. Synthesis of Safety Specifications for Probabilistic Systems. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.