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