Mubashir Anwar, Matthew Caesar 0001, Anduo Wang. Verifying Multi-vendor IoT Deployments Using Conditional Tables. In Ahmet Soylu, Fan Liu, Karan Mitra, Yan Zhang 0002, Tor-Morten Grønli, editors, Mobile and Ubiquitous Systems: Computing, Networking and Services - 21st EAI International Conference, MobiQuitous 2024, Oslo, Norway, November 12-14, 2024, Proceedings. Volume 634 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 145-168, Springer, 2024. [doi]
Abstract is missing.