Kongressbeiträge (2) Publikationen, an denen Forscher/innen teilgenommen haben

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