Raghuraj Suryavanshi, Divakar Yadav. Rigorous Design of Lazy Replication System Using Event-B. In Manish Parashar, Dinesh K. Kaushik, Omer F. Rana, Ravi Samtaney, Yuanyuan Yang, Albert Y. Zomaya, editors, Contemporary Computing - 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings. Volume 306 of Communications in Computer and Information Science, pages 407-418, Springer, 2012. [doi]
@inproceedings{SuryavanshiY12, title = {Rigorous Design of Lazy Replication System Using Event-B}, author = {Raghuraj Suryavanshi and Divakar Yadav}, year = {2012}, doi = {10.1007/978-3-642-32129-0_41}, url = {http://dx.doi.org/10.1007/978-3-642-32129-0_41}, researchr = {https://researchr.org/publication/SuryavanshiY12}, cites = {0}, citedby = {0}, pages = {407-418}, booktitle = {Contemporary Computing - 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings}, editor = {Manish Parashar and Dinesh K. Kaushik and Omer F. Rana and Ravi Samtaney and Yuanyuan Yang and Albert Y. Zomaya}, volume = {306}, series = {Communications in Computer and Information Science}, publisher = {Springer}, isbn = {978-3-642-32128-3}, }