Billy Naumann, Christine Jakobs, Matthias Werner 0001. Formal analysis of timeliness in the RaSTA protocol. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, Dominik Slezak, editors, Proceedings of the 17th Conference on Computer Science and Intelligence Systems, FedCSIS 2022, Sofia, Bulgaria, September 4-7, 2022. Volume 30 of Annals of Computer Science and Information Systems, pages 505-514, 2022. [doi]
Abstract is missing.