[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.
Use Complete Form