McMas: An Open-Source Model Checker for the Verification of Multi-Agent Systems
International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-015-0378-x
Full Text
Open PDFAbstract
Available in full text
Date
April 26, 2015
Authors
Publisher
Springer Science and Business Media LLC