Ernst Moritz Hahn - SAS 2023

Sun 22 - Tue 24 October 2023 Cascais, Portugal

co-located with SPLASH 2023

Registered user since Wed 22 Aug 2018

Name:Ernst Moritz Hahn

Country:United Kingdom

Affiliation:Queen's University Belfast

Personal website: https://pure.qub.ac.uk/portal/en/persons/moritz-hahn(4e299ed6-c06d-443b-a977-e15c06869398).html

Contributions

2023

FTSCS

Solving Queries for Boolean Fault Tree Logic via Quantified SAT

Show activities from other conferences

SPLASH 2023-profile
View general profile