https://tel.archives-ouvertes.fr/tel-00616284
Contributeur : Inria Mostrare
<>
Soumis le : lundi 22 août 2011 - 00:42:53
Dernière modification le : jeudi 21 février 2019 - 10:52:49
Document(s) archivé(s) le : vendredi 25 novembre 2011 - 11:50:40
Jean-Marc Talbot. Model-checking pour les ambients : des algèbres de processus aux données semi-structurées. Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2005. 〈tel-00616284〉
