Skip to Main content

Researcher identifiers

Export Publications

Export the displayed publications:

Production year

Number of documents

1

Matthieu Moy


https://matthieu-moy.fr/


2007   

Preprints, Working Papers, ...1 document

  • Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi. A SystemC/TLM semantics in Promela and its Possible Applications. 2007. ⟨hal-00294143⟩