Not registered as user yet
Name: Eunhee Kim
Country: South Korea
Affiliation: 2e Consulting Corp.
Contributions
VMCAI 2021 | A Design of GPU-Based Quantitative Model Checking | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Not registered as user yet
Name: Eunhee Kim
Country: South Korea
Affiliation: 2e Consulting Corp.
Contributions
VMCAI 2021 | A Design of GPU-Based Quantitative Model Checking | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |