English
español
English
français
español
English
français
TIC164 - Informes
DIGIBUG Home
1.-Investigación
Departamentos, Grupos de Investigación e Institutos
Grupo: GEDES. Especificación, Desarrollo y Evolución de Software (TIC164)
TIC164 - Informes
DIGIBUG Home
1.-Investigación
Departamentos, Grupos de Investigación e Institutos
Grupo: GEDES. Especificación, Desarrollo y Evolución de Software (TIC164)
TIC164 - Informes
Toggle navigation
JavaScript is disabled for your browser. Some features of this site may not work without it.
TIC164 - Informes (1)
Browse by
By Issue Date
Authors
Titles
Subject
Financiación
Search within this collection:
Go
Recent Submissions
Installation process and main functionalities of the Spin model checker
Hornos Barranco, Miguel Juan
;
Augusto, Juan Carlos
(
2012-02-22
)
Search DIGIBUG
This Collection
My Account
Login
Register
Browse
All of DIGIBUG
Communities and Collections
By Issue Date
Authors
Titles
Subject
Financiación
Author profiles
This Collection
By Issue Date
Authors
Titles
Subject
Financiación
Statistics
View Usage Statistics
Servicios
Pasos para autoarchivo
Ayuda
Licencias Creative Commons
SHERPA/RoMEO
Dulcinea
Biblioteca Universitaria
Nos puedes encontrar a través de
Condiciones legales