Login / Signup
Miroslaw Kurkowski
ORCID
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Global Health
Mass Spectrometry
Single Molecule
Adverse Drug
Top Venues
Sensors (Basel, Switzerland)
</>
This page only lists publications with an associated author ORCID identifier.
Publications
</>
Sabina Szymoniak
,
Olga Siedlecka-Lamch
,
Agnieszka M Zbrzezny
,
Andrzej Zbrzezny
,
Miroslaw Kurkowski
SAT and SMT-Based Verification of Security Protocols Including Time Aspects.
Sensors (Basel, Switzerland)
21 (9) (2021)