Boian, Florian Mircea, Faculty of Mathematics and Computer Science, “Babes-Bolyai” University of Cluj-Napoca,, Romania

• Vol 10 No 5 (2015): International Journal of Computers Communications & Control (October) - Articles
  Verification of JADE Agents Using ATL Model Checking
  Abstract  PDF