Rousseaux, T., Temmerman, A., & Bonaventure, O. (2026). JADE: Just A Deterministic Emulator to Support the Verification of Protocol Implementations. 2026 IFIP Networking Conference (IFIP Networking), Networking Conference (IFIP Networking), 2026 IFIP, 1. https://doi.org/10.23919/IFIPNetworking70592.2026.11579070
Παραπομπή σε μορφή Chicago (17η εκδ.)Rousseaux, Tom, Alix Temmerman, και Olivier Bonaventure. "JADE: Just A Deterministic Emulator to Support the Verification of Protocol Implementations." 2026 IFIP Networking Conference (IFIP Networking), Networking Conference (IFIP Networking), 2026 IFIP 2026: 1. https://doi.org/10.23919/IFIPNetworking70592.2026.11579070.
Παραπομπή σε μορφή MLA (9th εκδ.)Rousseaux, Tom, et al. "JADE: Just A Deterministic Emulator to Support the Verification of Protocol Implementations." 2026 IFIP Networking Conference (IFIP Networking), Networking Conference (IFIP Networking), 2026 IFIP, 2026, p. 1, https://doi.org/10.23919/IFIPNetworking70592.2026.11579070.