Automated Pipeline Design
Daniel Kroening and Wolfgang Paul
Details
| Book Title |
Proc. of 38th ACM/IEEE Design Automation Conference (DAC 2001) |
| Pages |
810–815 |
| Publisher |
ACM Press |
| Year |
2001 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |