Deadlock Analysis for a Fault-Tolerant System. - Bettina Buth; Michel Kouvaras; Jan Peleska 001; Hui Shi 001 (AMAST, 1997)

Combining Methods for the Analysis of a Fault-Tolerant System. - Hui Shi 001; Jan Peleska 001; Michel Kouvaras (PRDC, 1999)