Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Elsevier.
Chicago Style (17th ed.) CitationCalinescu, R., M. Ceska, S. Gerasimou, M. Kwiatkowska, and N. Paoletti. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
ציטוט MLACalinescu, R., et al. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.