Skip to main content
Publication

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