Identifiant pérenne de la notice : 136900631
Notice de type
Personne
Assistance à l'abstraction de composants virtuels pour la vérification rapide de systèmes
numériques / présentée et soutenue par Waseem Muhammad ; sous la direction de Michel
Auguin. - 2008 [Thèse, Nice]