| |
| 1999 | ||
|---|---|---|
| 2 | EE | Hui Shi, Jan Peleska, Michel Kouvaras: Combining Methods for the Analysis of a Fault-Tolerant System. PRDC 1999: 135-142 |
| 1997 | ||
| 1 | Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi: Deadlock Analysis for a Fault-Tolerant System. AMAST 1997: 60-74 | |
| 1 | Bettina Buth | [1] |
| 2 | Jan Peleska | [1] [2] |
| 3 | Hui Shi | [1] [2] |