Formal Hardware Verification
Formal Hardware Verification 1997
Thomas Kropf (Ed.):
Formal Hardware Verification - Methods and Systems in Comparison.
Lecture Notes in Computer Science 1287 Springer 1997, ISBN 3-540-63475-4
Contents BibTeX
Copyright © Sat May 16 23:12:04 2009
by Michael Ley (ley@uni-trier.de)