@inproceedings{ 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 CHECKING SPIN },

booktitle = { XII JORNADAS DE CONCURRENCIA Y SISTEMAS DISTRIBUIDOS () (.2004.LAS NAVAS DEL MARQUES (AVILA)) },

year = { 2004 },

pages = { 317 - 322 },

location = { LAS NAVAS DEL MARQUES (AVILA) },

}