@inbook{ Gallardo-Melgarejo_HORNOS_Martinez-Cruz_Merino-Gomez:317-322,

author = { Maria Mar Gallardo-Melgarejo and MIGUEL JUAN HORNOS BARRANCO and Jesus Martinez-Cruz and Pedro Merino-Gomez } ,

title = { INTEGRATION OF INTERVAL LOGIC SPECIFICATIONS INTO THE MODEL CHECKER SPIN },

booktitle = { ACTAS DE LAS XII JORNADAS DE CONCURRENCIA Y SISTEMAS DISTRIBUIDOS },

isbn = { 84-9772-320-1 },

publisher = { UNIVERSIDAD REY JUAN CARLOS. SERVICIO DE PUBLICACIONES },

pages = { 317 - 322 },

year = { 2004 },

}