Skip to Main content
Number of documents

1

Pierre-Antoine Champin


http://champin.net/


Lotfi Sofiane Settouti   

Preprints, Working Papers, ...1 document

  • Lotfi Sofiane Settouti, Yannick Prié, Pierre-Antoine Champin, Jean-Charles Marty, Alain Mille. A Trace-Based Systems Framework : Models, Languages and Semantics. 2009. ⟨inria-00363260v2⟩