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{Woźna:2005:10.1145/1082473.1082498,
author = {Wona, B and Lomuscio, A and Penczek, W},
doi = {10.1145/1082473.1082498},
publisher = {ACM Press},
title = {Bounded model checking for knowledge and real time},
url = {http://dx.doi.org/10.1145/1082473.1082498},
year = {2005}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AU - Wona,B
AU - Lomuscio,A
AU - Penczek,W
DO - 10.1145/1082473.1082498
PB - ACM Press
PY - 2005///
TI - Bounded model checking for knowledge and real time
UR - http://dx.doi.org/10.1145/1082473.1082498
ER -