Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Elsevier.
Chicago-Zitierstil (17. Ausg.)Calinescu, R., M. Ceska, S. Gerasimou, M. Kwiatkowska, und N. Paoletti. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
MLA-Zitierstil (9. Ausg.)Calinescu, R., et al. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.