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), pp. 41–47. doi: 10.31578/jtst.v4i1.74.