External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Design of Model Checking Agent for SMS Management System

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]

Authors

Ali Selamat

This author has not been identified. Look up 'Ali Selamat' in Google

Siti Dianah Abdul Bujang

This author has not been identified. Look up 'Siti Dianah Abdul Bujang' in Google
runs on