Inproceedings,
Using Simulation and Verification to Inform the Development of Intelligent Environments.
J. Augusto, and M. Hornos.Intelligent Environments (Workshops), volume 13 of Ambient Intelligence and Smart Environments, page 413-424. IOS Press, (2012)
Meta data
- BibTeX key
- conf/intenv/AugustoH12
- entry type
- inproceedings
- booktitle
- Intelligent Environments (Workshops)
- year
- 2012
- pages
- 413-424
- publisher
- IOS Press
- series
- Ambient Intelligence and Smart Environments
- volume
- 13
- crossref
- conf/intenv/2012w
- ee
- https://doi.org/10.3233/978-1-61499-080-2-413
- isbn
- 978-1-61499-079-6
- url
- http://dblp.uni-trier.de/db/conf/intenv/intenv2012w.html#AugustoH12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/intenv/AugustoH12
%A Augusto, Juan Carlos
%A Hornos, Miguel J.
%B Intelligent Environments (Workshops)
%D 2012
%E Botía, Juan A.
%E Schmidtke, Hedda Rahel
%E Nakashima, Tatsuo
%E Al-Mulla, Mohammed R.
%E Augusto, Juan Carlos
%E Aztiria, Asier
%E Ball, Matthew
%E Callaghan, Victor
%E Cook, Diane J.
%E Dooley, James
%E O'Donoghue, John
%E Egerton, Simon
%E Haya, Pablo A.
%E Hornos, Miguel J.
%E Morales, Eduardo
%E Orozco, Juan Carlos
%E Portillo-Rodríguez, Otniel
%E González, Alejandro Rodríguez
%E Sandoval, Oscar
%E Tripicchio, Paolo
%E Wang, Minjuan
%E Zamudio, Víctor
%I IOS Press
%K dblp
%P 413-424
%T Using Simulation and Verification to Inform the Development of Intelligent Environments.
%U http://dblp.uni-trier.de/db/conf/intenv/intenv2012w.html#AugustoH12
%V 13
%@ 978-1-61499-079-6
@inproceedings{conf/intenv/AugustoH12,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Augusto, Juan Carlos and Hornos, Miguel J.},
biburl = {https://www.bibsonomy.org/bibtex/2e8310da3843146be51dda94f9201e469/dblp},
booktitle = {Intelligent Environments (Workshops)},
crossref = {conf/intenv/2012w},
editor = {Botía, Juan A. and Schmidtke, Hedda Rahel and Nakashima, Tatsuo and Al-Mulla, Mohammed R. and Augusto, Juan Carlos and Aztiria, Asier and Ball, Matthew and Callaghan, Victor and Cook, Diane J. and Dooley, James and O'Donoghue, John and Egerton, Simon and Haya, Pablo A. and Hornos, Miguel J. and Morales, Eduardo and Orozco, Juan Carlos and Portillo-Rodríguez, Otniel and González, Alejandro Rodríguez and Sandoval, Oscar and Tripicchio, Paolo and Wang, Minjuan and Zamudio, Víctor},
ee = {https://doi.org/10.3233/978-1-61499-080-2-413},
interhash = {17b705913aaa6031410dd35f99de5f59},
intrahash = {e8310da3843146be51dda94f9201e469},
isbn = {978-1-61499-079-6},
keywords = {dblp},
pages = {413-424},
publisher = {IOS Press},
series = {Ambient Intelligence and Smart Environments},
timestamp = {2018-06-26T11:38:23.000+0200},
title = {Using Simulation and Verification to Inform the Development of Intelligent Environments.},
url = {http://dblp.uni-trier.de/db/conf/intenv/intenv2012w.html#AugustoH12},
volume = 13,
year = 2012
}