VIKTOROVYCH SHKARUPYLO, V.; TOMICIC, I.; MYKOLAIOVYCH KASIAN, K. The Investigation of TLC Model Checker Properties. Journal of Information and Organizational Sciences, [S. l.], v. 40, n. 1, 2016. DOI: 10.31341/jios.40.1.7. Disponível em: //jios.foi.hr/index.php/jios/article/view/991. Acesso em: 28 mar. 2024.