TY  - RPRT
TI  - Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking
AU  - Paolo Ballarini
PY  - 2014
UR  - https://arxiv.org/abs/1410.4027
ID  - 1410.4027
ER  -