Documents publiés en "2014"

monter Monter d'un niveau
Pour citer ou exporter
Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement
Nombre de documents: 1

W

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: Mon Oct 19 20:28:25 2026 EDT.