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

Up a level
Export as [feed] Atom [feed] RSS
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 Sun May 5 05:56:34 2024 BST.