Michel Kouvaras

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

Hui Shi, Jan Peleska, Michel Kouvaras
Combining Methods for the Analysis of a Fault-Tolerant System. PRDC (1999)
Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi
Deadlock Analysis for a Fault-Tolerant System. AMAST (1997)