Calinescu, R., Ceska, M., Gerasimou, S., Kwiatkowska, M., & Paoletti, N. (2018). Efficient synthesis of robust models for stochastic systems. Elsevier.
Chicago Style (17th ed.) CitationCalinescu, R., M. Ceska, S. Gerasimou, M. Kwiatkowska, and 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%准確.