Verifying Multi-vendor IoT Deployments Using Conditional Tables.

Mubashir Anwar, Matthew Caesar, Anduo Wang

Browse the full Mobiquitous paper archive.