ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal