Viktorovych Shkarupylo, V., Tomicic, I. and Mykolaiovych Kasian, K. (2016) “The Investigation of TLC Model Checker Properties”, Journal of Information and Organizational Sciences, 40(1). doi: 10.31341/jios.40.1.7.