TY  - RPRT
TI  - A Multiple-Valued Logic Approach to the Design and Verification of Hardware Circuits
AU  - Amnon Rosenmann
PY  - 2015
UR  - https://arxiv.org/abs/1502.05748
ID  - 1502.05748
ER  -