TY  - RPRT
TI  - On-the-fly Fast Mean-Field Model-Checking: Extended Version
AU  - Diego Latella
AU  - Michele Loreti
AU  - Mieke Massink
PY  - 2013
UR  - https://arxiv.org/abs/1312.3416
ID  - 1312.3416
ER  -