, Faculty of Science, "Lucian Blaga" University of Sibiu, Romania
-
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL Vol. 10 No. 5 (2015): International Journal of Computers Communications & Control (October) - Articles
Verification of JADE Agents Using ATL Model Checking
Abstract PDF