Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Elsevier.
Citação norma ChicagoCalinescu, R., M. Ceska, S. Gerasimou, M. Kwiatkowska, and N. Paoletti. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
Citação norma MLACalinescu, R., et al. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.