ANA MARÍA
MARTÍNEZ DÍAZ
Researcher to 2020
Carlos
Miguel Nieto
Publications by the researcher in collaboration with Carlos Miguel Nieto (1)
1994
-
FDDI performance evaluation based on LOTOS formal description technique
Chapman & Hall Ltd, pp. 407-422