Mounir Lallali

	2009
2		Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère: Modeling, Validation, and Verification of PCEP Using the IF Language. FMOODS/FORTE 2009: 122-136
	2008
1		Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mallouli, Mounir Lallali: Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints. DS-RT 2008: 315-318

Coauthor Index

1	Ana R. Cavalli	[1] [2]
2	Iksoon Hwang	[2]
3	Wissam Mallouli	[1]
4	Edgardo Montes de Oca	[1]
5	Dominique Verchère	[2]