Andrzej Zbrzezny
2PUBLICATIONS
4CO-AUTHORS
Get your video featured.
Publish with JoVEGet your video featured.
Publish with JoVE
Publications (2)
Sort by Publication Date:
|Dec 11, 2022
Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks.Agnieszka M Zbrzezny, Andrzej Zbrzezny
|Apr 30, 2021
SAT and SMT-Based Verification of Security Protocols Including Time Aspects.Sabina Szymoniak, Olga Siedlecka-Lamch, Agnieszka M Zbrzezny
Pageof 1
![Technical Aspect of the Automated Synthesis and Real-Time Kinetic Evaluation of [<sup>11</sup>C]SNAP-7941](/_next/image?url=https%3A%2F%2Fcloudfront.jove.com%2FCDNSource%2Fteasers%2F59557.jpg&w=3840&q=75)