Automated Pipeline Design
Daniel Kroening and Wolfgang Paul
Book Title
Proc. of 38th ACM/IEEE Design Automation Conference (DAC 2001)
Pages
810–815
Publisher
ACM Press
Year
2001
Daniel Kroening and Wolfgang Paul