Books (3) Publications in which a researcher has participated

1993

  1. Autómatas finitos con programación funcional

    Universidade da Coruña

  2. Construcción de álgebras en computación

    Universidad de Santiago de Compostela

  3. From annotated LOTOS specifications to queueing networks: Automating performance models derivation

    Publ by Elsevier Science Publishers B.V., pp. 401-412