(2019). The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models. Tools and Algorithms for the Construction and Analysis of Systems, 11429, . https://doi.org/10.1007/978-3-030-17502-3_5
Citácia podle Chicago (17th ed.)"The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models." Tools and Algorithms for the Construction and Analysis of Systems 11429 (2019). https://doi.org/10.1007/978-3-030-17502-3_5.
Citácia podľa MLA (8th ed.)"The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models." Tools and Algorithms for the Construction and Analysis of Systems, vol. 11429, 2019, https://doi.org/10.1007/978-3-030-17502-3_5.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..