Production year

Researcher identifiers

Number of documents

1

Érik Martin-Dorel's publications


Brought to you by HAL.


"David Lester"   

Preprints, Working Papers, ...1 document

  • Marc Daumas, David Lester, Erik Martin-Dorel, Annick Truffert. Stochastic Formal Methods for Hybrid Systems. 2009. ⟨hal-00107495v5⟩