Modeling and verification of the Multi-connection Tactile Internet Protocol

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]

@inproceedings{RicoG021,
  title = {Modeling and verification of the Multi-connection Tactile Internet Protocol},
  author = {Delia Rico and María-del-Mar Gallardo and Pedro Merino 0001},
  year = {2021},
  doi = {10.1145/3479242.3487328},
  url = {https://doi.org/10.1145/3479242.3487328},
  researchr = {https://researchr.org/publication/RicoG021},
  cites = {0},
  citedby = {0},
  pages = {105-114},
  booktitle = {Q2SWinet 2021: Proceedings of the 17th ACM Symposium on QoS and Security for Wireless and Mobile Networks, Alicante, Spain, November 22-26, 2021},
  editor = {Periklis Chatzimisios and Rodolfo W. L. Coutinho and Mirela Notare},
  publisher = {ACM},
  isbn = {978-1-4503-9080-4},
}