TY  - RPRT
TI  - Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
AU  - Van Chan Ngo
AU  - Axel Legay
PY  - 2017
DO  - 10.1002/smr.1890
UR  - https://arxiv.org/abs/1712.02227
ID  - 1712.02227
ER  -