Publications by the researcher in collaboration with 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