Books listed by ISBN
>
Springer
> Philip A. Wilsey
Philip A. Wilsey
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Formal Semantics and Proof Techniques for Optimizing VHDL Models
978-O-7923-8375-8
(O-7923-8375-3)
1998
Kothanda Umamageswaran · Sheetanshu L. Pandey
A. W.
·
P. A.
·
P W.
·
Philip A.
·
Philip W.
Philip A. Wilson