Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alexander Knapp
conf.researchr.org general profile
ETAPS 2019 profile
ICSE 2023 profile
SPLASH 2023 profile
Registered user since Mon 15 Apr 2019
Name:
Alexander Knapp
Contributions
2023
FormaliSE
Committee Member in Program Committee within the FormaliSE 2023-track
FTSCS
Committee Member in Program Committee within the FTSCS 2023-track
2019
FASE
Author of A Hybrid Dynamic Logic for Event/Data-based Systems within the FASE 2019-track
Share
x
Tue 5 Dec 19:21