Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations.

Harvey E. Rhody, Vittorio Manoni, James R. Hoelscher

Browse the full SAFECOMP paper archive.