CITATION STYLE
Umamageswaran, K., Pandey, S. L., & Wilsey, P. A. (1999). Formal Semantics and Proof Techniques for Optimizing VHDL Models. Formal Semantics and Proof Techniques for Optimizing VHDL Models. Springer US. https://doi.org/10.1007/978-1-4615-5123-2
Mendeley helps you to discover research relevant for your work.