Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Elsevier.
Цитирование в стиле Чикаго (17-е изд.)Calinescu, R., M. Ceska, S. Gerasimou, M. Kwiatkowska, и N. Paoletti. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
Цитирование MLA (9-е изд.)Calinescu, R., et al. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.