TY  - RPRT
TI  - Industrial-Strength Verification of Solid State Interlocking Programs
AU  - Alexei Iliasov
AU  - Dominic Taylor
AU  - Linas Laibinis
AU  - Alexander Romanovsky
PY  - 2022
UR  - https://arxiv.org/abs/2108.10091
ID  - 2108.10091
ER  -