Model-based specification and validation of the dual-mode adaptive MAC protocol
International Journal of Critical Computer-Based Systems (2018) - Comments
doi: 10.1504/ijccbs.2018.096190  issn: 1757-8779  issn: 1757-8787 

Admar Ajith Kumar Somappa, Lars M. Kristensen, Andreas Prinz