A multiple-valued logic approach to the design and verification of hardware circuits

Amnon Rosenmann. A multiple-valued logic approach to the design and verification of hardware circuits. J. Applied Logic, 15:69-93, 2016. [doi]

Authors

Amnon Rosenmann

This author has not been identified. Look up 'Amnon Rosenmann' in Google