Michel Kouvaras

	1999
2		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

Coauthor Index

1	Bettina Buth	[1]
2	Jan Peleska	[1] [2]
3	Hui Shi	[1] [2]