Self-checking multiple-valued circuit based on dual-rail current-mode differential logic | IEEE Conference Publication | IEEE Xplore