Model-checking for adventure videogames

• Autores: Pablo Moreno Ger , Rubén Fuentes Fernández , José Luis Sierra Rodríguez , Baltasar Fernández Manjón
• Localización: Information and software technology, ISSN 0950-5849, Vol. 51, Nº 3, 2009, págs. 564-580
• Idioma: inglés
• DOI: 10.1016/j.infsof.2008.08.003
• Texto completo no disponible (Saber más ...)
• Dialnet Métricas: 1 Cita