Laboratoire d'intégration de systèmes et de technologies (LIST)
… Documents An implicit–explicit time discretization for elastic wave propagation problems in plates Hajer … and operational semantics for interaction languages: Application to trace analysis Erwan Mahe, Christophe Gaston … and operational semantics for interaction languages: Application to trace analysis Erwan Mahe, Christophe Gaston …Published on: Wed 20/09/2023 - 07:25