MPG.eBooks - Search Results - "Logic Design"

Cover Image

1

Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Subjects: “...Logic design...”

Cover Image

2

Model Checking Software : 10th International SPIN Workshop Portland, OR, USA, May 9–10, 2003 Proceedings

by Ball, Thomas
Published 2003

Springer-Verlag Berlin Heidelberg

Subjects: “...Logic design...”