Faculté
Estudios Estadísticos
Communications dans un congrès (2) Publications auxquelles un chercheur a participé
1997
-
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)
-
Towards an optimal enclosure for the future large telescope in the ORM
Proceedings of SPIE - The International Society for Optical Engineering