Fault Tolerances Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques.

Rainer Feldmann, Christian Haubelt, Burkhard Monien, Jrgen Teich

Browse the full FPL paper archive.