Formal Verification of Circuits

Drechsler

by Rolf Drechsler

Hardcover

ISBN: 978-0-7923-7858-7

ISBN-10: 0-7923-7858-X

Springer · 2000