Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Elsevier.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Calinescu, R., M. Ceska, S. Gerasimou, M. Kwiatkowska, و N. Paoletti. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Calinescu, R., et al. Efficient Synthesis of Robust Models for Stochastic Systems. Elsevier, 2018.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.