<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Weslati, Mohamed Karim"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Nombre de documents: 1

Weslati, M. K. (2014). Vers l'intégration de paramètres temporels statiques et dynamiques dans les techniques de vérification par ordre partiel [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible

Liste produite: Fri Mar 29 03:50:25 2024 EDT.