A statistical model checking approach to analyse the random access protocol

Ahmed Roumane, Kechar Bouabdellah. A statistical model checking approach to analyse the random access protocol. IJWMC, 23(3/4):338-349, 2022. [doi]

Abstract

Abstract is missing.