[n] T. Samanta, S. Mukherjee, and D. Sarkar, “Reachability in a Finite Distributed System Protocol Model by Backward Traversal”, in Proc. 9th Int. Workshop on Personal Computers and Particle Accelerator Controls (PCaPAC'12), Kolkata, India, Dec. 2012, paper THPD48, pp. 230-233.
Use Abbreviated Form
Paper Title: Reachability in a Finite Distributed System Protocol Model by Backward Traversal
Paper URL: https://jacow.org/pcapac2012/papers/THPD48.pdf
Conference: 9th Int. Workshop on Personal Computers and Particle Accelerator Controls (PCaPAC'12)
Paper ID: THPD48
Location in proceedings: 230-233
Original Author String: T. Samanta, S. Mukherjee [VECC, Kolkata, India] D. Sarkar [IITKGP, West Bengal, India]
