Melissa Kova

	2009
1		Melissa Kova, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui: A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV. SoMeT 2009: 245-261

Coauthor Index

1	Jamal Bentahar	[1]
2	Zakaria Maamar	[1]
3	Hamdi Yahyaoui	[1]