Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Elsevier.
Chicago-viite (17. p.)Calinescu, R., M. Ceska, S. Gerasimou, M. Kwiatkowska, ja N. Paoletti. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
MLA-viite (9. p.)Calinescu, R., et al. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.