TECHNIQUES SYMBOLIQUES POUR LA REDUCTION DES AUTOMATES D'ETATS FINIS ET APPLICATION A LA VERIFICATION FORMELLE MODULAIRE ET L'OPTIMISATION DE CIRCUITS SEQUENTIELS VLSI COMPLEXES / FAHIM RAHIM ; SOUS LA DIR. DE MICHEL MINOUX

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1999

Format : 156 p.

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Minoux, Michel (Directeur de thèse / thesis advisor)

Université Pierre et Marie Curie (Paris ; 1971-2017) (Organisme de soutenance / degree-grantor)