Ternary simulation: A refinement of binary functions or an abstraction of real-time behaviour (1996)

by M Mendler, M Fairtlough
Venue:in:Workshop on Designing Correct Circuits (DCC), Electronic Workshops in Computing