Skip to Main content
Number of documents

1

Pierre-Antoine Champin


http://champin.net/


Jean-Charles Marty   

Reports1 document

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