MPG.eBooks - Search Results - ((((associate editor) or (associated vectors))) or (((associate factor) OR (associated vector))))

Search alternatives:
associated vectors » associated factors , associated receptors , associated pastors
associated vector » associated factors , associate director , associated secretory
associate editor » associate editors , associate director , associated factor
associate factor » associated factors , associate director , associate editors

Cover Image

1

Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Published 1991

Springer Berlin Heidelberg

Table of Contents: “... verification of digital circuits using symbolic ternary system models -- Vectorized model checking...”