, 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
