Ecosyste.ms: Papers
An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.
Papers: 10.3390/s21093055
https://doi.org/10.3390/s21093055
SAT and SMT-Based Verification of Security Protocols Including Time Aspects
Cited by: 4
Author(s): Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Mirosław Kurkowski
Published: over 3 years ago