Formal Methods for Dynamic Power Management (2003)
by
Rajesh K. Gupta
,
Sandy Irani
,
Sandeep Kumar Shukla
| Venue: | IN ICCAD |
| Citations: | 1 - 0 self |
Document Versions
| Formal Methods for Dynamic Power Management –Rajesh K. Gupta, Sandy Irani, Sandeep Kumar Shukla — 2003 — IN ICCAD |
| Formal Methods for Dynamic Power Management –Rajesh K. Gupta, Sandee K Shukla — 2003 — In ICCAD |
