%0 Conference Paper %1 conf/safecomp/RhodyMH93 %A Rhody, Harvey E. %A Manoni, Vittorio %A Hoelscher, James R. %B SAFECOMP %D 1993 %E Górski, Janusz %I Springer %K dblp %P 73-82 %T Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp1993.html#RhodyMH93 %@ 978-3-540-19838-3

@inproceedings{conf/safecomp/RhodyMH93, added-at = {2019-06-24T00:00:00.000+0200}, author = {Rhody, Harvey E. and Manoni, Vittorio and Hoelscher, James R.}, biburl = {https://www.bibsonomy.org/bibtex/2edbc4f4603ddfd2f7beab5a61f380dbd/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/1993}, editor = {Górski, Janusz}, ee = {https://doi.org/10.1007/978-1-4471-2061-2_8}, interhash = {fb52a42db83a38818c5e5c1d944701ad}, intrahash = {edbc4f4603ddfd2f7beab5a61f380dbd}, isbn = {978-3-540-19838-3}, keywords = {dblp}, pages = {73-82}, publisher = {Springer}, timestamp = {2019-06-25T11:39:39.000+0200}, title = {Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp1993.html#RhodyMH93}, year = 1993 }