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
Contributions
| PEPM 2020 | Author of Symbolic Bisimulation for Open and Parameterized System within the PEPM 2020-track |