Khalil Ajami

	2000
3		Serge Haddad, Jean-Michel Ilié, Khalil Ajami: A Model Checking Method for Partially Symmetric Systems. FORTE 2000: 121-136
	1998
2		Khalil Ajami, Serge Haddad, Jean-Michel Ilié: Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. TACAS 1998: 52-67
	1997
1		Jean-Michel Ilié, Khalil Ajami: Model Checking Through Symbolic Reachability Graph. TAPSOFT 1997: 213-224

Coauthor Index

1	Serge Haddad	[2] [3]
2	Jean-Michel Ilié (Jean Michel Ilié)	[1] [2] [3]