ProfessorAlessioLomuscio

Faculty of Engineering, Department 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

@article{Lomuscio:2013,
author = {Lomuscio, A and Pinchinat, S and Schlingloff, H},
journal = {Dagstuhl Reports},
pages = {151--187},
title = {VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181).},
volume = {3},
year = {2013}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Lomuscio,A
AU  - Pinchinat,S
AU  - Schlingloff,H
EP  - 187
PY  - 2013///
SP  - 151
TI  - VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181).
T2  - Dagstuhl Reports
VL  - 3
ER  -

Download