Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations

SAFECOMP ’93 ◽

10.1007/978-1-4471-2061-2_8 ◽

1993 ◽

pp. 73-82

Author(s):

Harvey E. Rhody ◽

Vittorio Manoni ◽

James R. Hoelscher

Download Full-text