Stoica, Laura Florentina, 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