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％准确.