Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A., & Flanagan, C. (2012). Automatic Verification of Competitive Stochastic Systems. Springer.
Chicago-čujuhus (17. p.)Chen, T., V. Forejt, M. Kwiatkowska, D. Parker, A. Simaitis, juo C. Flanagan. Automatic Verification of Competitive Stochastic Systems. Springer, 2012.
MLA-čujuhus (9. p.)Chen, T., et al. Automatic Verification of Competitive Stochastic Systems. Springer, 2012.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.