Achegas congreso (2) Publicacións nas que participase algún/ha 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