FDDI performance evaluation based on LOTOS formal description technique

1. Martinez, A.
2. Miguel, C.
3. Perez, E.
4. Fernandez, A.