Publication [DombrowskiJKG16] Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks Dombrowski, C.; Junges, S.; Katoen, J.-P. and Gross, J. In SRDS, pages 307-316, 2016.Downloads: bib
