![](/img/cover-not-exists.png)
Using semi-formal methods for detecting interactions among smart homes policies
Mohamed Shehata, Armin Eberlein, Abraham FapojuwoVolume:
67
Year:
2007
Language:
english
Pages:
37
DOI:
10.1016/j.scico.2006.11.002
File:
PDF, 2.11 MB
english, 2007