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