Siti Dianah Abdul Bujang, Ali Selamat. Applying Model Checking Agent for Error Detecting in SMS using Formal Method. IJCISIM [Internet]. 2009 Jan. 1 [cited 2026 May 3];1:7. Available from: https://cspub-ijcisim.org/index.php/ijcisim/article/view/4