ArticleSensors (Basel, Switzerland)2021

SAT and SMT-Based Verification of Security Protocols Including Time Aspects.

Sabina Szymoniak et al.PubMed ↗Full text ↗Publisher ↗

No numbers read from the abstract.