(1)
Viktorovych Shkarupylo, V.; Tomicic, I.; Mykolaiovych Kasian, K. The Investigation of TLC Model Checker Properties. J. inf. organ. sci. (Online) 2016, 40.