Formal Hardware Verification
Formal Hardware Verification 1997
Thomas Kropf (Ed.): Formal Hardware Verification - Methods and Systems in Comparison. Springer 1997 Lecture Notes in Computer Science 1287 ISBN 3-540-63475-4 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team