Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Elsevier.
Chicago Style (17. basım) AtıfCalinescu, R., M. Ceska, S. Gerasimou, M. Kwiatkowska, ve N. Paoletti. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
MLA (9th ed.) AtıfCalinescu, R., et al. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..