TY  - RPRT
TI  - Fluid Model Checking of Timed Properties
AU  - Luca Bortolussi
AU  - Roberta Lanciani
PY  - 2015
UR  - https://arxiv.org/abs/1506.05909
ID  - 1506.05909
ER  -