Model-checking for adventure videogames

Pablo Moreno-Ger, Rubén Fuentes-Fernández, José Luis Sierra-Rodríguez, Baltasar Fernández-Manjón. Model-checking for adventure videogames. Information \& Software Technology, 51(3):564-580, 2009. [doi]

Authors

Pablo Moreno-Ger

This author has not been identified. Look up 'Pablo Moreno-Ger' in Google

Rubén Fuentes-Fernández

This author has not been identified. Look up 'Rubén Fuentes-Fernández' in Google

José Luis Sierra-Rodríguez

This author has not been identified. Look up 'José Luis Sierra-Rodríguez' in Google

Baltasar Fernández-Manjón

This author has not been identified. Look up 'Baltasar Fernández-Manjón' in Google