Binary Decision Diagrams: Theory and Implementation

Drechsler

by: Rolf Drechsler · Bernd Becker

Hardcover

ISBN: 978-0-7923-8193-8

ISBN-10: 0-7923-8193-9

Springer · 1998