[IEEE Design, Automation & Test in Europ
โ
Seshia, Sanjit A.; Li, Wenchao; Mitra, Subhasish
๐
Article
๐
2007
๐
IEEE
๐
German
โ 212 KB