Return to search

Model-checking pour les ambients des algèbres de processus aux données semi-structurées /

Reproduction de : Habilitation à driger des recherches : Sciences mathématiques. Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 494. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 87-95. Liste des publications.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/495208219
Date January 2007
CreatorsTalbot, Jean-Marc Tison, Sophie.
PublisherVilleneuve d'Ascq : Université des sciences et technologies de Lille,
Source SetsOCLC
LanguageFrench
Detected LanguageFrench

Page generated in 0.0018 seconds