Passer au contenu principal
Publication

Synthèse de systèmes logiques asynchrones à l'aide des propriétés des fonctions logiques décroissantes