@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 },
}