Return to search

Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis

Description de mes activités de recherche réalisées depuis plus de 20 ans.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00642467
Date14 November 2011
CreatorsVigneron, Laurent
PublisherUniversité Nancy II
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
Typehabilitation ࠤiriger des recherches

Page generated in 0.0023 seconds