Zhen Zhang -

Registered user since Wed 24 Nov 2021

Name:Zhen Zhang

Country:United States

Affiliation:Utah State University

Contributions

VMCAI 2022	Author of STAMINA 2.0: Improving Scalability of Infinite-StateStochastic Model Checking within the VMCAI 2022-track Author of Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms within the VMCAI 2022-track