Publications
Lecture Notes in Computer Science, pages 1546 – 1563. Springer-Verlag, 1999 Hui Shi, Jan Peleska, and Michel Kouvaras. Combining methods for the analysis of a fault-tolerant system. In 1999 Pacific Rim International [...] of safety-critical reactive systems. South African Computer Jounal, 19:53–77, 1997 Bettina Buth, Michel Kouvaras, Jan Peleska, and Hui Shi. Deadlock analysis for a fault-tolerant system. In Michael Johnson