TY  - RPRT
TI  - Reachability of Communicating Timed Processes
AU  - Lorenzo Clemente
AU  - Frédéric Herbreteau
AU  - Amélie Stainer
AU  - Grégoire Sutre
PY  - 2012
UR  - https://arxiv.org/abs/1209.0571
ID  - 1209.0571
ER  -