Purnendu Sinha, Da Qi Ren. Formal verification of dependable distributed protocols. Information \& Software Technology, 45(12):873-888, 2003. [doi]
@article{SinhaR03, title = {Formal verification of dependable distributed protocols}, author = {Purnendu Sinha and Da Qi Ren}, year = {2003}, doi = {10.1016/S0950-5849(03)00066-1}, url = {http://dx.doi.org/10.1016/S0950-5849(03)00066-1}, tags = {protocol}, researchr = {https://researchr.org/publication/SinhaR03}, cites = {0}, citedby = {0}, journal = {Information \& Software Technology}, volume = {45}, number = {12}, pages = {873-888}, }