Yassine Mokhtari

	2011
4		Sa'ed Abed, Yassine Mokhtari, Otmane Aït Mohamed, Sofiène Tahar: NuMDG: A New Tool for Multiway Decision Graphs Construction. J. Comput. Sci. Technol. 26(1): 139-152 (2011)
	2008
3		Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song: A New Approach for the Construction of Multiway Decision Graphs. ICTAC 2008: 228-242
	2003
2		Hong Peng, Sofiène Tahar, Yassine Mokhtari: Compositional Verification of a Switch Fabric from Nortel Networks. ICFEM 2003: 560-578
	2002
1		Hong Peng, Yassine Mokhtari, Sofiène Tahar: Environment Synthesis for Compositional Model Checking. ICCD 2002: 70-

Coauthor Index

1	Sa'ed Abed	[3] [4]
2	Otmane Aït Mohamed	[3] [4]
3	Hong Peng	[1] [2]
4	Xiaoyu Song	[3]
5	Sofiène Tahar	[1] [2] [3] [4]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page