[n] T. Samanta, S. Mukherjee, and D. Sarkar, “Reachability in a Finite Distributed System Protocol Model by Backward Traversal”, in Proc. PCaPAC'12, Kolkata, India, Dec. 2012, paper THPD48, pp. 230-233.
[n] P. J. Spiller et al., “Engineering Status of SIS100”, in Proc. IPAC'10, Kyoto, Japan, May 2010, paper MOPD003, pp. 672-674.
[n] H. Euteneuer, K.-H. Kaiser, S. Ratschow, and V. I. Shvedunov, “Beam Blow-up Calculations for RTM and DSM”, in Proc. EPAC'98, Stockholm, Sweden, Jun. 1998, paper THP28G, pp. 951-953.
Use Complete Form