Publications
FM’99, number 1709 in Lecture Notes in Computer Science, pages 1546 – 1563. Springer-Verlag, 1999 HuiShi, Jan Peleska, and Michel Kouvaras. Combining methods for the analysis of a fault-tolerant system [...] systems. South African Computer Jounal, 19:53–77, 1997 Bettina Buth, Michel Kouvaras, Jan Peleska, and HuiShi. Deadlock analysis for a fault-tolerant system. In Michael Johnson, editor, Algebraic Methodology