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]
@inproceedings{SelamatB08,
title = {The Design of Model Checking Agent for SMS Management System},
author = {Ali Selamat and Siti Dianah Abdul Bujang},
year = {2008},
doi = {10.1007/978-3-540-78582-8_82},
url = {http://dx.doi.org/10.1007/978-3-540-78582-8_82},
tags = {model checking, meta-model, Meta-Environment, design},
researchr = {https://researchr.org/publication/SelamatB08},
cites = {0},
citedby = {0},
pages = {813-821},
booktitle = {Agent and Multi-Agent Systems: Technologies and Applications, Second KES International Symposium, KES-AMSTA 2008, Incheon, Korea, March 26-28, 2008. Proceedings},
editor = {Ngoc Thanh Nguyen and GeunSik Jo and Robert J. Howlett and Lakhmi C. Jain},
volume = {4953},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-78581-1},
}