Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An algebraic model for asynchronous circuits verification;IEEE Transactions on Computers;1988-07
2. Literaturverzeichnis;Fehlerdiagnose für Schaltnetze aus Modulen mit partiell injektiven Pfadfunktionen;1987
3. Utilisation d'une table de Karnaugh pour minimiser un algorithme de decision binaire;International Journal of Electronics;1984-01
4. On the Construction of Submodule Specifications and Communication Protocols;ACM Transactions on Programming Languages and Systems;1983-01