Researcher portraits, Research
Stefan Haar: Pushing the boundaries of discrete event dynamic systems
… a researcher in the Laboratoire méthodes formelles (LMF – Univ. Paris-Saclay, CNRS, ENS Paris-Saclay, CentraleSupélec and Inria), …Published on: Thu 05/05/2022 - 15:16