RODONAIA, Irakli, and Vakhtang RODONAIA. 2015. “Statistic Complexity Metrics As a Basis for Formal Probabilistic Model Checking”. Journal of Technical Science and Technologies 4 (1):41-47. https://doi.org/10.31578/jtst.v4i1.74.