RODONAIA I, RODONAIA V. Statistic complexity metrics as a basis for formal probabilistic model checking. JTST [Internet]. 2015 May 31 [cited 2025 Feb. 23];4(1):41-7. Available from: https://jtst.ibsu.edu.ge/jms/index.php/jtst/article/view/74