MPG.eBooks - Author Search Results

Cover Image

1

Trace theory for automatic hierarchical verification of speed-independent circuits

by Dill, David L.
Published 1989

MIT Press

Cover Image

2

Computer Aided Verification : 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

Other Authors: “...Dill, David L....”