Showing 1 - 1 results of 1 for search 'Olga Siedlecka-Lamch', query time: 0.02s Refine Results
  1. 1
    SAT and SMT-Based Verification of Security Protocols Including Time Aspects

    SAT and SMT-Based Verification of Security Protocols Including Time Aspects by Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Miroslaw Kurkowski

    Published 2021-04-01
    Get full text
    Article

Search Tools: