Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kim Guldstrand Larsen
conf.researchr.org general profile
FSEN 2025 profile
ISSTA 2019 profile
NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
Not registered as user
Name:
Kim Guldstrand Larsen
Contributions
2023
NWPT
Author of Minimizing State Space Partitionings Using Decision Trees within the NWPT 2023-track
2019
SPIN
Author of Model Verification Through Dependency Graphs within the 26th International SPIN Symposium on Model Checking of Software-track
Share
x
Sat 27 Sep 11:43