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