Lina Bentakouk

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi: A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. TestCom/FATES 2009: 16-32

	2009
1		Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi: A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. TestCom/FATES 2009: 16-32

Coauthor Index