TY  - RPRT
TI  - Modeling Time in Computing: A Taxonomy and a Comparative Survey
AU  - Carlo A. Furia
AU  - Dino Mandrioli
AU  - Angelo Morzenti
AU  - Matteo Rossi
PY  - 2010
DO  - 10.1145/1667062.1667063
UR  - https://arxiv.org/abs/0807.4132
ID  - 0807.4132
ER  -