Not registered as user yet

Name:Zechen Hou
Affiliation:East China Normal University

Contributions

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