Zbrzezny, A. M. (2026). BMC4TimeSec: Verification Of Timed Security Protocols.
Chicago-Zitierstil (17. Ausg.)Zbrzezny, Agnieszka M. BMC4TimeSec: Verification Of Timed Security Protocols. 2026.
MLA-Zitierstil (9. Ausg.)Zbrzezny, Agnieszka M. BMC4TimeSec: Verification Of Timed Security Protocols. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.