| Original language | English |
|---|---|
| Title of host publication | 6th International Workshop on Designing Correct Circuits (DCC 2006) |
| Editors | Mary Sheeran und Tom Melham |
| Pages | 32-43 |
| Number of pages | 12 |
| Publication status | Published - 2006 |
Fields of science
- 102 Computer Sciences