 | Monter d'un niveau |
Najem, M. (2009). Model-Checking symbolique pour la vérification de systèmes et son application aux tables de décision et aux systèmes d'éditions collaboratives distribuées [Mémoire de maîtrise, École Polytechnique de Montréal]. Disponible
