Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Elsevier.
Παραπομπή σε μορφή Chicago (17η εκδ.)Calinescu, R., M. Ceska, S. Gerasimou, M. Kwiatkowska, και N. Paoletti. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
Παραπομπή σε μορφή MLA (9th εκδ.)Calinescu, R., et al. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.