Paper: “Modeling and verification of the Multi-connection TactileInternet Protocol”
Deli Rico, Maria del Mar Gallardo, Pedro Merino, “Modeling and verification of the Multi-connection TactileInternet Protocol”, 17th ACM International Symposium on QoS and Security for Wireless and Mobile Networks (Q2SWinet ’21), 22-27 Nov 2021 Alicante, Spain