Andrzej Zbrzezny

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 5

Top Topics

Network Analysis

Mass Spectrometry

Top Venues

Sensors (Basel, Switzerland)

This page only lists publications with an associated author ORCID identifier.

Publications

Agnieszka M Zbrzezny, Andrzej Zbrzezny
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. Sensors (Basel, Switzerland) 22 (23) (2022)
Agnieszka M Zbrzezny, Andrzej Zbrzezny
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. Sensors (Basel, Switzerland) 22 (23) (2022)
Agnieszka M Zbrzezny, Andrzej Zbrzezny
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. Sensors (Basel, Switzerland) 22 (23) (2022)
Agnieszka M Zbrzezny, Andrzej Zbrzezny
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. Sensors (Basel, Switzerland) 22 (23) (2022)
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)