A. B. Alkhechi

	1993
2		Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi: Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. PSTV 1993: 191-206
	1990
1		A. B. Alkhechi, Stanislaw Budkowski: Automatic Translation of Time Petri Nets into Estelle Description. FORTE 1990: 369-376

Coauthor Index

1	Mohamed-Lyes Benalycherif	[2]
2	Stanislaw Budkowski	[1] [2]
3	Piotr Dembinski	[2]
4	J. P. Mouchel La Fosse	[2]
5	M. Gardie	[2]
6	E. Lallet	[2]
7	Younes Souissi	[2]