TY  - RPRT
TI  - Lightweight Time Modeling in Timed Creol
AU  - Joakim Bjørk
AU  - Einar Broch Johnsen
AU  - Olaf Owe
AU  - Rudolf Schlatte
PY  - 2010
DO  - 10.4204/eptcs.36.4
UR  - https://arxiv.org/abs/1009.4262
ID  - 1009.4262
ER  -