TY  - RPRT
TI  - Timed Automata Semantics for Analyzing Creol
AU  - Mohammad Mahdi Jaghoori
AU  - Tom Chothia
PY  - 2010
DO  - 10.4204/eptcs.30.8
UR  - https://arxiv.org/abs/1007.5095
ID  - 1007.5095
ER  -