Koushanfar2001
From ACES
| Koushanfar2001 | |
|---|---|
| entry | article |
| address | |
| annote | |
| author | F. Koushanfar and D. Kirovski and I. Hong and M. Potkonjak and M.C. Papaefthymiou |
| booktitle | |
| chapter | |
| edition | |
| editor | |
| howpublished | |
| institution | |
| journal | IEEE Transactions on Computer-Aided Design (DAC) |
| month | |
| note | |
| number | |
| organization | |
| pages | 392 - 401 |
| publisher | |
| school | |
| series | |
| title | Symbolic debugging of embedded hardware and software |
| type | |
| volume | 20 |
| year | 2001 |
| doi | |
| issn | |
| isbn | |
| url | |
| Koushanfar2001.pdf | |