[1]
V. Viktorovych Shkarupylo, I. Tomicic, and K. Mykolaiovych Kasian, “The Investigation of TLC Model Checker Properties”, J. inf. organ. sci. (Online), vol. 40, no. 1, Jun. 2016.