Awadhesh Kumar Singh, Anup Kumar Bandyopadhyay. Specifying Fault-Tolerance Using Split Precondition Logic. In Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu, editors, Distributed Computing and Networking, 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings. Volume 5935 of Lecture Notes in Computer Science, pages 466-472, Springer, 2010. [doi]
@inproceedings{SinghB10-0,
title = {Specifying Fault-Tolerance Using Split Precondition Logic},
author = {Awadhesh Kumar Singh and Anup Kumar Bandyopadhyay},
year = {2010},
doi = {10.1007/978-3-642-11322-2_44},
url = {http://dx.doi.org/10.1007/978-3-642-11322-2_44},
tags = {logic},
researchr = {https://researchr.org/publication/SinghB10-0},
cites = {0},
citedby = {0},
pages = {466-472},
booktitle = {Distributed Computing and Networking, 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings},
editor = {Krishna Kant and Sriram V. Pemmaraju and Krishna M. Sivalingam and Jie Wu},
volume = {5935},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-11321-5},
}