APA citiranje

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 citiranje

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