conf.researchr.org / Eric Madelaine
Registered user since Thu 6 Feb 2020
Name: Eric Madelaine
Affiliation: INRIA
Contributions
| PEPM 2020 | Author of Symbolic Bisimulation for Open and Parameterized System within the PEPM 2020-track |
Registered user since Thu 6 Feb 2020
Name: Eric Madelaine
Affiliation: INRIA
Contributions
| PEPM 2020 | Author of Symbolic Bisimulation for Open and Parameterized System within the PEPM 2020-track |