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