Delia Rico, María-del-Mar Gallardo, Pedro Merino 0001. Modeling and verification of the Multi-connection Tactile Internet Protocol. In Periklis Chatzimisios, Rodolfo W. L. Coutinho, Mirela Notare, editors, Q2SWinet 2021: Proceedings of the 17th ACM Symposium on QoS and Security for Wireless and Mobile Networks, Alicante, Spain, November 22-26, 2021. pages 105-114, ACM, 2021. [doi]
Abstract is missing.