TY  - RPRT
TI  - Verification of interlocking systems using statistical model checking
AU  - Quentin Cappart
AU  - Christophe Limbree
AU  - Pierre Schaus
AU  - Jean Quilbeuf
AU  - Louis-Marie Traonouez
AU  - Axel Legay
PY  - 2017
DO  - 10.1109/hase.2017.10
UR  - https://arxiv.org/abs/1605.02529
ID  - 1605.02529
ER  -