Reference Search

Reference

For Word

[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.

For LaTeX

%\cite{Samanta:PCaPAC12-THPD48} \bibitem{Samanta:PCaPAC12-THPD48} T. Samanta, S. Mukherjee, and D. Sarkar, \textquotedblleft{Reachability in a Finite Distributed System Protocol Model by Backward Traversal}\textquotedblright, in \emph{Proc. PCaPAC’12}, Kolkata, India, Dec. 2012, paper THPD48, pp. 230--233.

For BibTeX

@inproceedings{samanta:pcapac12-thpd48, author = {T. Samanta and S. Mukherjee and D. Sarkar}, title = {{Reachability in a Finite Distributed System Protocol Model by Backward Traversal}}, booktitle = {Proc. PCaPAC'12}, pages = {230--233}, paper = {THPD48}, venue = {Kolkata, India, Dec. 2012}, publisher = {JACoW Publishing, Geneva, Switzerland}, url = {https://jacow.org/pcapac2012/papers/THPD48.pdf}, language = {english} }

Use Complete Form

Metadata

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]

Associated Authors

Back to the list