Modelling MAC-Layer Communications in Wireless Systems - Cerone, Andrea; Hennessy, Matthew; Merro, Massimo (Logical methods in computer science, 2015)
Keywords: computer science - logic in computer science