Boian, Florian Mircea, Faculty of Mathematics and Computer Science, “Babes-Bolyai” University of Cluj-Napoca,, 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