Items where authors include "Lomuscio, A.R."

Article

Lomuscio, A.R., Qu, H. and Raimondi, F. (2015) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer. ISSN 1433-2779