Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Elsevier.
Chicago-referens (17:e uppl.)Calinescu, R., M. Ceska, S. Gerasimou, M. Kwiatkowska, och N. Paoletti. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
MLA-referens (9:e uppl.)Calinescu, R., et al. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.