TY  - RPRT
TI  - Automated Checking and Visualization of Interlocks in the ISAC Control System
AU  - R. Keitel
AU  - R. Nussbaumer
PY  - 2001
UR  - https://arxiv.org/abs/physics/0111094
ID  - physics/0111094
ER  -