# Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks

> Research article (2016 IEEE 35th Symposium on Reliable Distributed Systems (SRDS), 2016) · cited 14× · AI/ML

**Wikidata**: [openalex:W2567661379](https://www.wikidata.org/wiki/openalex:W2567661379)  
**Source**: https://4ort.xyz/entity/model-checking-assisted-protocol-design-for-ultra-reliable-low-latency-wireless-networks