Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A., & Flanagan, C. (2012). Automatic Verification of Competitive Stochastic Systems. Springer.
Chicago-viite (17. p.)Chen, T., V. Forejt, M. Kwiatkowska, D. Parker, A. Simaitis, ja C. Flanagan. Automatic Verification of Competitive Stochastic Systems. Springer, 2012.
MLA-viite (9. p.)Chen, T., et al. Automatic Verification of Competitive Stochastic Systems. Springer, 2012.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.