@misc{ HORNOS_AUGUSTO:2012,

author = { MIGUEL JUAN HORNOS BARRANCO and JUAN CARLOS AUGUSTO } ,

title = { Installation process and main functionalities of the Spin model checker },

year = { 2012 },

doi = { http://hdl.handle.net/10481/19601 },

}