Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A., & Flanagan, C. (2012). Automatic Verification of Competitive Stochastic Systems. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Chen, T., V. Forejt, M. Kwiatkowska, D. Parker, A. Simaitis, و C. Flanagan. Automatic Verification of Competitive Stochastic Systems. Springer, 2012.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Chen, T., et al. Automatic Verification of Competitive Stochastic Systems. Springer, 2012.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.