Sarmad Sadik, Alade Rahman, Arshad Ali, Hafiz Farooq Ahmad, Hiroki Suguri. A Formal Approach for Design of Agent Based Earthquake Management System (EMS). In Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8,. pages 99-104, IEEE Computer Society, 2008. [doi]
Abstract is missing.