ProfessorNobukoYoshida

Faculty of Engineering, Department of Computing

Academic Visitor

Contact

+44 (0)20 7594 8240n.yoshida Website

Location

556Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@article{Neykova:2014:10.4204/EPTCS.162.3,
author = {Neykova, R and Bocchi, L and Yoshida, N},
doi = {10.4204/EPTCS.162.3},
journal = {Electronic Proceedings in Theoretical Computer Science, EPTCS},
title = {Timed Runtime Monitoring for Multiparty Conversations},
url = {http://dx.doi.org/10.4204/EPTCS.162.3},
year = {2014}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Neykova,R
AU  - Bocchi,L
AU  - Yoshida,N
DO  - 10.4204/EPTCS.162.3
PY  - 2014///
SN  - 2075-2180
TI  - Timed Runtime Monitoring for Multiparty Conversations
T2  - Electronic Proceedings in Theoretical Computer Science, EPTCS
UR  - http://dx.doi.org/10.4204/EPTCS.162.3
ER  -

Download