APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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