LCIASA: A Useful Language for Specification and Verification of Agent-Based Systems.

Nicandro Faras Mendoza, Flix F. Ramos Corchado, Victor M. Larios-Rosillo

Browse the full OPODIS paper archive.