Items where Author is "Lomuscio, Alessio"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.

Article

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (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

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743

This list was generated on Mon May 25 06:29:34 2015 IST.