TY  - RPRT
TI  - Distributed Verification of Rare Properties using Importance Splitting Observers
AU  - Cyrille Jegourel
AU  - Axel Legay
AU  - Sean Sedwards
AU  - Louis-Marie Traonouez
PY  - 2015
UR  - https://arxiv.org/abs/1502.01838
ID  - 1502.01838
ER  -