"The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors ..."

Van E. Kelly, Louis I. Steinberg (1982)
a service of Schloss Dagstuhl - Leibniz Center for Informatics