The design of model checking agent for SMS management system /

The design of model checking agent for SMS management system /

PRZSL

Bibliographic Details
Main Authors: Ali Selamat, author, Siti Dianah Abdul Bujang, 1984-, author, KES International Symposium on Agent Multi-Agent Systems (2nd : (2008 : Seoul, Korea)
Format:
Language:eng
Published: Skudai : Universiti Teknologi Malaysia, 2008
Description
Summary:PRZSL

Similar Items