|
 
|
Ludovic Henrio
|
Laboratoire: INRIA Sophia Antipolis - DEMAR (FR) |
Publications
2013
-
[AM 13]
T. Aubonnet, E. Madelaine, L. Henrio, T. Ledoux, Y. Kouki, P. Moreaux, F. Pourraz, I. Ayadi, N. Simoni.
"Modèle logique avancé - version V1",
Date de dépot: 2013/10/18,
Nb pages 1- 28,
(Tech. Rep.: CEDRIC-13-2871)
