conf.researchr.org / Zechen Hou
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 |
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 |