![](/img/cover-not-exists.png)
[IEEE 2019 IEEE 15th International Scientific Conference on Informatics - Poprad, Slovakia (2019.11.20-2019.11.22)] 2019 IEEE 15th International Scientific Conference on Informatics - Complexity of Security Protocols Verification Tools
Mazur, Michal, Kurkowski, MiroslawYear:
2019
DOI:
10.1109/informatics47936.2019.9119282
File:
PDF, 553 KB
2019