SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Min Zhang

Registered user since Tue 18 Apr 2017

Name:Min Zhang
Country:China
Affiliation:East China Normal University, China
Research interests:Formal Methods, Trustworthy AI

Contributions

SPLASH 2022 Bridging the Semantic Gap between Qualitative and Quantitative Models of Distributed Systems
Show activities from other conferences

Using general profile