MCMAS: an open-source model checker for the verification of multi-agent systems

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

Abstract

Metadata

Authors/Creators:
  • Lomuscio, A.R.
  • Qu, H.
  • Raimondi, F.
Copyright, Publisher and Additional Information: © 2015 The Author(s). This is an Open Access article distributed under the terms of the Creative Commons Attribution Licence (http://creativecommons.org/licenses/by/3.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Dates:
  • Published: 26 April 2015
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Automatic Control and Systems Engineering (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 12 May 2015 10:52
Last Modified: 12 May 2015 10:52
Published Version: http://dx.doi.org/10.1007/s10009-015-0378-x
Status: Published
Publisher: Springer
Refereed: Yes
Identification Number: https://doi.org/10.1007/s10009-015-0378-x

Share / Export

Statistics