conf.researchr.org / Kim Larsen
Registered user since Mon 12 Jun 2023
Name:Kim Larsen
Country:Denmark
Affiliation:Aalborg University
Contributions
2025
2023
ECBS
STAF
2019
ETAPS
SPIoT
TACAS
- Session Chair of Hybrid and Stochastic Systems (part of TACAS 2019)
- Author of Abstract Dependency Graphs and Their Application to Model Checking within the TACAS 2019-track
- Committee Member in Program Committee within the TACAS 2019-track
- Committee Member in Steering Committee within the TACAS 2019-track