Muhammad Atif, Mohammad Reza Mousavi, A. Osaiweran. Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. In Sascha Ossowski, Paola Lecca, editors, Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012. pages 478-485, ACM, 2012. [doi]
@inproceedings{AtifMO12,
title = {Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems},
author = {Muhammad Atif and Mohammad Reza Mousavi and A. Osaiweran},
year = {2012},
doi = {10.1145/2245276.2245369},
url = {http://doi.acm.org/10.1145/2245276.2245369},
researchr = {https://researchr.org/publication/AtifMO12},
cites = {0},
citedby = {0},
pages = {478-485},
booktitle = {Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012},
editor = {Sascha Ossowski and Paola Lecca},
publisher = {ACM},
isbn = {978-1-4503-0857-1},
}