TY  - RPRT
TI  - On-the-fly Probabilistic Model Checking
AU  - Diego Latella
AU  - Michele Loreti
AU  - Mieke Massink
PY  - 2014
DO  - 10.4204/eptcs.166.6
UR  - https://arxiv.org/abs/1410.7469
ID  - 1410.7469
ER  -