@TechReport{Alba94Gene,
  author="Enrique Alba and José M. Troya",
  title="Genetic Algorithms for Protocol Validation",
  institution="Dpto. de Lenguajes y Ciencias de la Computación",
  address="Univ. de Málaga, Campus de Teatinos (2.2.A.6), 29071- MÁLAGA, España",
  year=1994}