Jump to Navigation

Integration of interval logic specifications into the model checker SPIN

TitleIntegration of interval logic specifications into the model checker SPIN
Publication TypeConference Paper
Year of Publication2004
AuthorsGallardo, M-del-M., M. Juan Hornos, J. Martínez, and P. Merino
Conference NameActas de las XII Jornadas de Concurrencia y Sistemas Distribuidos. Las Navas del Marqués (Ávila), 9 al 11 de Junio de 2004
Date Publishedoct
PublisherUniversidad Rey Juan Carlos
Conference LocationMadrid
ISBN Number84-9772-320-1


Main menu 2

Biblio | by Dr. Radut