Reference Search

Favourites

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} }

References

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