A Framework for Modeling and Verifying IoT Communication Protocols.

Maithily Diwan, Meenakshi D'Souza

Browse the full SETTA paper archive.