Publicaciones en las que colabora con María del Mar Gallardo Melgarejo (1)

2004

  1. Integration of interval logic specifications into the model Checker SPIN

    Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004 (Dykinson), pp. 317-322