TY  - RPRT
TI  - Dynamic Verification of SystemC with Statistical Model Checking
AU  - Van Chan Ngo
AU  - Axel Legay
AU  - Jean Quilbeuf
PY  - 2015
UR  - https://arxiv.org/abs/1412.0885
ID  - 1412.0885
ER  -