Grira, Messaouda, Computer Science Department, University of Biskra, Algeria

• INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL Vol. 9 No. 3 (2014): International Journal of Computers Communications & Control (June) - Articles
  Formal Specification and Verification of Mobile Agent Systems
  Abstract  PDF