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

Jump to: Article
Number of items: 1.

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

This list was generated on Wed Apr 2 12:44:18 2025 BST.