%0 Journal Article %1 journals/aes/AugustoH13 %A Augusto, Juan Carlos %A Hornos, Miguel J. %D 2013 %J Adv. Eng. Softw. %K dblp %P 18-34 %T Software simulation and verification to increase the reliability of Intelligent Environments. %U http://dblp.uni-trier.de/db/journals/aes/aes58.html#AugustoH13 %V 58

@article{journals/aes/AugustoH13, added-at = {2020-02-21T00:00:00.000+0100}, author = {Augusto, Juan Carlos and Hornos, Miguel J.}, biburl = {https://www.bibsonomy.org/bibtex/20cab6c6518691e1d90300821a5ca0341/dblp}, ee = {https://doi.org/10.1016/j.advengsoft.2012.12.004}, interhash = {dcaef4e26b95bb6369450296543be656}, intrahash = {0cab6c6518691e1d90300821a5ca0341}, journal = {Adv. Eng. Softw.}, keywords = {dblp}, pages = {18-34}, timestamp = {2020-02-22T11:42:00.000+0100}, title = {Software simulation and verification to increase the reliability of Intelligent Environments.}, url = {http://dblp.uni-trier.de/db/journals/aes/aes58.html#AugustoH13}, volume = 58, year = 2013 }