Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods

Saved in:
Bibliographic Details
Format Book
LanguageEnglish
Online AccessGet full text
DOI10.1007/978-1-4615-5199-7

Cover

More Information
DOI:10.1007/978-1-4615-5199-7