Anastas Nikolov, Evelina Pencheva, Ivaylo Atanasov. Formal verification of connectivity management models in M2M communications. In 2016 IEEE International Black Sea Conference on Communications and Networking, BlackSeaCom 2016, Varna, Bulgaria, June 6-9, 2016. pages 1-4, IEEE, 2016. [doi]
Abstract is missing.