Akmali, M. und Sher, F. (2025) „Enhancing Safety Analysis of Nuclear Reactors Using Probabilistic Model Checking and the SAFEST Toolchain“, in. doi:10.1109/RAMS-Europe62094.2025.11275010.
Chicago Manual of Style 17th edition (full note)Akmali, Masood, und Falak Sher. „Enhancing Safety Analysis of Nuclear Reactors Using Probabilistic Model Checking and the SAFEST Toolchain“. In . https://doi.org/10.1109/RAMS-Europe62094.2025.11275010.
American Psychological Association 7th editionAkmali, M., & Sher, F. (2025, August 6). Enhancing Safety Analysis of Nuclear Reactors Using Probabilistic Model Checking and the SAFEST Toolchain. https://doi.org/10.1109/RAMS-Europe62094.2025.11275010
Modern Language Association 9th editionAkmali, M., und F. Sher. Enhancing Safety Analysis of Nuclear Reactors Using Probabilistic Model Checking and the SAFEST Toolchain. 2025, https://doi.org/10.1109/RAMS-Europe62094.2025.11275010.
ISO-690 (author-date, Deutsch)AKMALI, Masood und Falak SHER, 2025. Enhancing Safety Analysis of Nuclear Reactors Using Probabilistic Model Checking and the SAFEST Toolchain. In: . 6 August 2025