APA aipamena

Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A., & Flanagan, C. (2012). Automatic Verification of Competitive Stochastic Systems. Springer.

Chicago Style aipamena

Chen, T., V. Forejt, M. Kwiatkowska, D. Parker, A. Simaitis, and C. Flanagan. Automatic Verification of Competitive Stochastic Systems. Springer, 2012.

MLA aipamena

Chen, T., et al. Automatic Verification of Competitive Stochastic Systems. Springer, 2012.