Aung MT, Thanh Nguyen TT, Ogata K. GUESSING, MODEL CHECKING AND THEOREM PROVING OF STATE MACHINE PROPERTIES – A CASE STUDY ON QLOCK. IJSECS [Internet]. 2018 Aug. 31 [cited 2024 Apr. 25];4(2):1-18. Available from: https://journal.ump.edu.my/ijsecs/article/view/191