Verification of multi-valued logic networks (1996)

by R Drechsler
Venue:In Int'l Symp. on Multi-Valued Logic