Kwiatkowska, M., Norman, G., Parker, D., & Santos, G. (2019). Equilibria-based probabilistic model checking for concurrent stochastic games. Springer Verlag.
Цитирование в стиле Чикаго (17-е изд.)Kwiatkowska, M., G. Norman, D. Parker, и G. Santos. Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. Springer Verlag, 2019.
Цитирование MLA (9-е изд.)Kwiatkowska, M., et al. Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. Springer Verlag, 2019.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.