Pierre-Antoine Champin
1
Documents
Presentation
<http://champin.net/>
<http://champin.net/>
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
A Trace-Based Systems Framework : Models, Languages and Semantics2009
Preprints, Working Papers, ...
inria-00363260v2
|