External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal analysis of timeliness in the RaSTA protocol

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]

Authors

Billy Naumann

This author has not been identified. Look up 'Billy Naumann' in Google

Christine Jakobs

This author has not been identified. Look up 'Christine Jakobs' in Google

Matthias Werner 0001

This author has not been identified. Look up 'Matthias Werner 0001' in Google
runs on