W. David Shambroom

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1993

1 W. David Shambroom: Use of Protocol Validation and Verification Techniques in the Design of a Fault-Tolerant Computer Architecture. FTCS 1993: 636-640