@inproceedings{ AUGUSTO_HORNOS,

author = { JUAN CARLOS AUGUSTO and MIGUEL JUAN HORNOS BARRANCO } ,

title = { USING SIMULATION AND VERIFICATION TO INFORM THE DEVELOPMENT OF INTELLIGENT ENVIRONMENTS },

booktitle = { 8th International Conference on Intelligent Environments },

year = { 2012 },

isbn = { 978-1-61499-079-6 (print), },

pages = { None - None },

location = { Guanajuato, México },

}