APA (7th ed.) Citation

Lazreg, S., Cordy, M., & Legay, A. (2022). Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 13703, 448-471. https://doi.org/10.1007/978-3-031-19759-8_27

Chicago Style (17th ed.) Citation

Lazreg, Sami, Maxime Cordy, and Axel Legay. "Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking." Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 13703 (2022): 448-471. https://doi.org/10.1007/978-3-031-19759-8_27.

MLA (9th ed.) Citation

Lazreg, Sami, et al. "Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking." Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, vol. 13703, 2022, pp. 448-471, https://doi.org/10.1007/978-3-031-19759-8_27.