Not registered as user yet

Name: Zechen Hou

Affiliation: East China Normal University

Contributions

PEPM 2020Author of Symbolic Bisimulation for Open and Parameterized System within the PEPM 2020-track