Harvey E. Rhody, Vittorio Manoni, James R. Hoelscher. Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations. In Janusz Górski, editor, The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993. pages 73-82, Springer, 1993. [doi]
@inproceedings{RhodyMH93,
title = {Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations},
author = {Harvey E. Rhody and Vittorio Manoni and James R. Hoelscher},
year = {1993},
doi = {10.1007/978-1-4471-2061-2_8},
url = {https://doi.org/10.1007/978-1-4471-2061-2_8},
researchr = {https://researchr.org/publication/RhodyMH93},
cites = {0},
citedby = {0},
pages = {73-82},
booktitle = {The 12th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1993, Poznań-Kiekrz, Poland, October 27-29, 1993},
editor = {Janusz Górski},
publisher = {Springer},
isbn = {978-3-540-19838-3},
}