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