Aportaciones congreso (2) Publicaciones en las que ha participado algún/a investigador/a

1997

  1. Testing semantics for a probabilistic-timed process algebra

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Towards an optimal enclosure for the future large telescope in the ORM

    Proceedings of SPIE - The International Society for Optical Engineering