Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A., & Flanagan, C. (2012). Automatic Verification of Competitive Stochastic Systems. Springer.
Style de citation Chicago (17e éd.)Chen, T., V. Forejt, M. Kwiatkowska, D. Parker, A. Simaitis, et C. Flanagan. Automatic Verification of Competitive Stochastic Systems. Springer, 2012.
Style de citation MLA (9e éd.)Chen, T., et al. Automatic Verification of Competitive Stochastic Systems. Springer, 2012.
Attention : ces citations peuvent ne pas être correctes à 100%.