Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

569Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@misc{Lomuscio:2009,
author = {Lomuscio, A and Qu, H and Raimondi, F},
title = {MCMAS: A model checker for Multiagent systems},
type = {Software},
url = {http://www-lai.doc.ic.ac.uk/mcmas},
year = {2009}
}

RIS format (EndNote, RefMan)

TY  - GEN
AU - Lomuscio,A
AU - Qu,H
AU - Raimondi,F
PY - 2009///
TI - MCMAS: A model checker for Multiagent systems
UR - http://www-lai.doc.ic.ac.uk/mcmas
ER -