Vérification et minimisation de systèmes séquentiels : optimisations de méthodes basées sur la composition de fonctions booléennes /

Description

Th. doct.--Informatique et réseaux--Paris--ENST, 1994. / Résumé en français et en anglais. Bibliogr. p. 99-102.

Links & Downloads

1. http://catalogue.bnf.fr/ark:/12148/cb35748858j

Tags

Machines séquentielles, Théorie des.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/464146441
Date	January 1995
Creators	Tamisier, Thomas.
Publisher	Paris : Ecole nationale supérieure des télécommunications,
Source Sets	OCLC
Language	French
Detected Language	French