Ian J. Hayes. Dynamically Detecting Faults via Integrity Constraints. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 85-103, Springer, 2009. [doi]
@incollection{Hayes09,
title = {Dynamically Detecting Faults via Integrity Constraints},
author = {Ian J. Hayes},
year = {2009},
doi = {10.1007/978-3-642-00867-2_5},
url = {http://dx.doi.org/10.1007/978-3-642-00867-2_5},
tags = {constraints},
researchr = {https://researchr.org/publication/Hayes09},
cites = {0},
citedby = {0},
pages = {85-103},
booktitle = {Methods, Models and Tools for Fault Tolerance},
editor = {Michael Butler and Cliff B. Jones and Alexander Romanovsky and Elena Troubitsyna},
volume = {5454},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-00866-5},
}