Fulvio Corno, Muhammad Sanaullah. Design Time Methodology for the Formal Verification of Intelligent Domotic Environments. In Paulo Novais, Davy Preuveneers, Juan M. Corchado, editors, Ambient Intelligence - Software and Applications - 2nd International Symposium on Ambient Intelligence, ISAmI 2011, Salamanca, Spain, April 6-8, 2011. Volume 92 of Advances in Intelligent and Soft Computing, pages 9-16, Springer, 2011. [doi]
@inproceedings{CornoS11, title = {Design Time Methodology for the Formal Verification of Intelligent Domotic Environments}, author = {Fulvio Corno and Muhammad Sanaullah}, year = {2011}, doi = {10.1007/978-3-642-19937-0_2}, url = {http://dx.doi.org/10.1007/978-3-642-19937-0_2}, researchr = {https://researchr.org/publication/CornoS11}, cites = {0}, citedby = {0}, pages = {9-16}, booktitle = {Ambient Intelligence - Software and Applications - 2nd International Symposium on Ambient Intelligence, ISAmI 2011, Salamanca, Spain, April 6-8, 2011}, editor = {Paulo Novais and Davy Preuveneers and Juan M. Corchado}, volume = {92}, series = {Advances in Intelligent and Soft Computing}, publisher = {Springer}, isbn = {978-3-642-19936-3}, }