TY  - GENERIC
DO  - 10.20944/preprints202409.0148.v1
UR  - http://dx.doi.org/10.20944/preprints202409.0148.v1
TI  - Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols
T2  - Preprints
AU  - Zbrzezny, Agnieszka M.
AU  - Siedlecka-Lamch, Olga
AU  - Szymoniak, Sabina
AU  - Zbrzezny, Andrzej
AU  - Kurkowski, Mirosław
PY  - 2024
DA  - 2024/09/03
PB  - Preprints