TY  - RPRT
TI  - Timed Runtime Monitoring for Multiparty Conversations
AU  - Rumyana Neykova
AU  - Laura Bocchi
AU  - Nobuko Yoshida
PY  - 2014
DO  - 10.4204/eptcs.162.3
UR  - https://arxiv.org/abs/1408.5979
ID  - 1408.5979
ER  -