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

Rainer Feldmann Christian Haubelt Burkhard Monien Jürgen Teich Fault Tolerances Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques. 478-487 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2778&spage=478 2003 conf/fpl/2003 FPL db/conf/fpl/fpl2003.html#FeldmannHMT03