Maxim Gromov

	2009
2		Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko: Distinguing Non-deterministic Timed Finite State Machines. FMOODS/FORTE 2009: 137-151
	2007
1		Maxim Gromov, Tim A. C. Willemse: Testing and Model-Checking Techniques for Diagnosis. TestCom/FATES 2007: 138-154

Coauthor Index

1	Khaled El-Fakih	[2]
2	Natalia Shabaldina	[2]
3	Tim A. C. Willemse	[1]
4	Nina Yevtushenko	[2]

Colors in the list of coauthors