TY  - RPRT
TI  - Central Limit Model Checking
AU  - Luca Bortolussi
AU  - Luca Cardelli
AU  - Marta Kwiatkowska
AU  - Luca Laurenti
PY  - 2018
UR  - https://arxiv.org/abs/1804.08744
ID  - 1804.08744
ER  -