![](/img/cover-not-exists.png)
[IEEE 2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09) - Nice (2009.04.20-2009.04.24)] 2009 Design, Automation & Test in Europe Conference & Exhibition - Fixed points for multi-cycle path detection
D'Silva, V., Kroening, D.Year:
2009
Language:
english
DOI:
10.1109/date.2009.5090938
File:
PDF, 202 KB
english, 2009