| |
| 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 | |
| 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] |