| 1995 | ||
|---|---|---|
| 2 | E. Lallet, S. Fischer, J.-F. Verdier: A New Approach for Distributing Estelle Specifications. FORTE 1995: 339-348 | |
| 1993 | ||
| 1 | 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 | |
| 1 | A. B. Alkhechi | [1] |
| 2 | Mohamed-Lyes Benalycherif | [1] |
| 3 | Stanislaw Budkowski | [1] |
| 4 | Piotr Dembinski | [1] |
| 5 | S. Fischer | [2] |
| 6 | J. P. Mouchel La Fosse | [1] |
| 7 | M. Gardie | [1] |
| 8 | Younes Souissi | [1] |
| 9 | J.-F. Verdier | [2] |