Alessio Lomuscio, Franco Raimondi
MCMAS: A Model Checker for Multi-agent Systems
TACAS, 2006.
@inproceedings{TACAS-2006-LomuscioR, author = "Alessio Lomuscio and Franco Raimondi", booktitle = "{Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/11691372_31", isbn = "3-540-33056-9", pages = "450--454", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{MCMAS: A Model Checker for Multi-agent Systems}", volume = 3920, year = 2006, }