Fuad Abujarad, Sandeep S. Kulkarni. Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance. In 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Niagara Falls, New York, USA, September 27-30, 2009. pages 119-128, IEEE, 2009. [doi]
@inproceedings{AbujaradK09-1,
title = {Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance},
author = {Fuad Abujarad and Sandeep S. Kulkarni},
year = {2009},
doi = {10.1109/SRDS.2009.11},
url = {http://doi.ieeecomputersociety.org/10.1109/SRDS.2009.11},
tags = {rule-based, constraints},
researchr = {https://researchr.org/publication/AbujaradK09-1},
cites = {0},
citedby = {0},
pages = {119-128},
booktitle = {28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), Niagara Falls, New York, USA, September 27-30, 2009},
publisher = {IEEE},
isbn = {978-0-7695-3826-6},
}