Normal view
MARC view
Dill, David L., author. (Personal Name)
Machine generated authority record.
Work cat.: (OSt): Dill, David L., author., Trace theory for automatic hierarchical verification of speed-independent circuits /