Publications by the researcher in collaboration with Raphäel Bernhard (1)

1995

  1. Verificación de conexiones telefónicas con ESTEREL

    I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995