Not registered as user yet

Name:Eunhee Kim
Country:South Korea
Affiliation:2e Consulting Corp.

Contributions

VMCAI 2021 Author of A Design of GPU-Based Quantitative Model Checking within the VMCAI-track