Paulo Carreira, Sílvia Resendes, André C. Santos. Towards automatic conflict detection in home and building automation systems. Pervasive and Mobile Computing, 12:37-57, 2014. [doi]
@article{CarreiraRS14, title = {Towards automatic conflict detection in home and building automation systems}, author = {Paulo Carreira and Sílvia Resendes and André C. Santos}, year = {2014}, doi = {10.1016/j.pmcj.2013.06.001}, url = {http://dx.doi.org/10.1016/j.pmcj.2013.06.001}, researchr = {https://researchr.org/publication/CarreiraRS14}, cites = {0}, citedby = {0}, journal = {Pervasive and Mobile Computing}, volume = {12}, pages = {37-57}, }