Shi-Yu Huang. Speeding Up The Byzantine Fault Diagnosis Using Symbolic Simulation. In 20th IEEE VLSI Test Symposium (VTS 2002), Without Testing It s a Gamble, 28 April - 2 May 2002, Monterey, CA, USA. pages 193-200, IEEE Computer Society, 2002. [doi]
Abstract is missing.