RODONAIA, I. and RODONAIA, V. 2015. Statistic complexity metrics as a basis for formal probabilistic model checking. Journal of Technical Science and Technologies. 4, 1 (May 2015), 41–47. DOI:https://doi.org/10.31578/jtst.v4i1.74.