Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits (ACM Distinguished Dissertation)
Book Details
Author(s)David L. Dill
PublisherThe MIT Press
ISBN / ASIN0262041014
ISBN-139780262041010
MarketplaceGermany 🇩🇪

