Using semi-formal methods for detecting interactions among smart homes policies

From MaRDI portal
(Redirected from Publication:997225)













This page was built for publication: Using semi-formal methods for detecting interactions among smart homes policies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q997225)