Viktorovych Shkarupylo V, Tomicic I, Mykolaiovych Kasian K. The Investigation of TLC Model Checker Properties. J. inf. organ. sci. (Online) [Internet]. 2016 Jun. 16 [cited 2024 Jul. 16];40(1). Available from: //jios.foi.hr/index.php/jios/article/view/991