Books listed by ISBN
>
Springer
> Jui-Ming Chang
Jui-Ming Chang
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
978-O-7923-856O-8
(O-7923-856O-8)
1999
Massoud Pedram
J C
·
J. Chang
·
J.M.
·
M.C.
Juile Mucha-aydlott