Ali Selamat, Siti Dianah Abdul Bujang. The Design of Model Checking Agent for SMS Management System. In Ngoc Thanh Nguyen, GeunSik Jo, Robert J. Howlett, Lakhmi C. Jain, editors, Agent and Multi-Agent Systems: Technologies and Applications, Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings. Volume 4953 of Lecture Notes in Computer Science, pages 813-821, Springer, 2008. [doi]
Abstract is missing.