Ein neues Verfahren zur mod-2-Summen-Synthese und dessen Anwendungen in der Synthese und der Verifikation digitaler Schaltungen172pagine7 ore di letturaAvvisami