Items where Author / Artist / Editor is "Lomuscio, Alessio"
![]() | See full list of headings |
Article
Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713
(2017)
MCMAS: an open-source model checker for the verification of multi-agent systems.
International Journal on Software Tools for Technology Transfer, 19
(1)
.
pp. 9-30.
ISSN 1433-2779
[Article]
(doi:10.1007/s10009-015-0378-x)
Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713
(2009)
MCMAS: a model checker for the verification of multi-agent systems.
Lecture Notes in Computer Science, 5643
.
pp. 682-688.
ISSN 0302-9743
[Article]
(doi:10.1007/978-3-642-02658-4_55)