Model-checking for adventure videogames
- Moreno-Ger, P.
- Fuentes-Fernández, R.
- Sierra-Rodríguez, J.-L.
- Fernández-Manjón, B.
ISSN: 0950-5849
Año de publicación: 2009
Volumen: 51
Número: 3
Páginas: 564-580
Tipo: Artículo
ISSN: 0950-5849
Año de publicación: 2009
Volumen: 51
Número: 3
Páginas: 564-580
Tipo: Artículo