TY  - RPRT
TI  - Horn Clauses for Communicating Timed Systems
AU  - Hossein Hojjat
AU  - Philipp Rümmer
AU  - Pavle Subotic
AU  - Wang Yi
PY  - 2014
DO  - 10.4204/eptcs.169.6
UR  - https://arxiv.org/abs/1412.1153
ID  - 1412.1153
ER  -