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