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.
Simone Bussa, Riccardo Sisto, Fulvio Valenza. Formal Verification of the FDO Protocol. In IEEE Conference on Standards for Communications and Networking, CSCN 2023, Munich, Germany, November 6-8, 2023. pages 290-295, IEEE, 2023. [doi]