Integration of interval logic specifications into the model Checker SPIN

• Autores: María del Mar Gallardo Melgarejo , Miguel J. Hornos Barranco , Jesús Martínez, Pedro Merino Gómez
• Localización: Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004, 2004, ISBN 84-9772-320-1, págs. 317-322
• Idioma: inglés
• Texto completo no disponible (Saber más ...)