Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

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

 
 
//

Location

 

504Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Kacprzak:2004:10.1007/978-3-540-30960-4_13,
author = {Kacprzak, M and Lomuscio, A and asica, T and Penczek, W and Szreter, M},
doi = {10.1007/978-3-540-30960-4_13},
pages = {189--212},
publisher = {Springer Berlin Heidelberg},
title = {Verifying Multi-agent Systems via Unbounded Model Checking},
url = {http://dx.doi.org/10.1007/978-3-540-30960-4_13},
year = {2004}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AU - Kacprzak,M
AU - Lomuscio,A
AU - asica,T
AU - Penczek,W
AU - Szreter,M
DO - 10.1007/978-3-540-30960-4_13
EP - 212
PB - Springer Berlin Heidelberg
PY - 2004///
SN - 0302-9743
SP - 189
TI - Verifying Multi-agent Systems via Unbounded Model Checking
UR - http://dx.doi.org/10.1007/978-3-540-30960-4_13
ER -