MIGUEL JUAN
HORNOS BARRANCO
PROFESOR TITULAR DE UNIVERSIDAD
María del Mar
Gallardo Melgarejo
Publicaciones en las que colabora con María del Mar Gallardo Melgarejo (1)
2004
-
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