[n] A. Beckmann, “Automated Verification Environment for TwinCAT PLC Programs”, in Proc. ICALEPCS'13, San Francisco, CA, USA, Oct. 2013, paper MOPPC082, pp. 288-291.
[n] K. A. Brown et al., “Results of the First Run of the NASA Space Radiation Laboratory at BNL”, in Proc. EPAC'04, Lucerne, Switzerland, Jul. 2004, paper TUPLT181, pp. 1550-1552.
Use Complete Form