[IEEE ASP-DAC 2005. Asia and South Pacific Design Automation Conference 2005 - Shanghai, China (18-21 Jan. 2005)] Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005. - Supporting sequential assumptions in hybrid verification
Cerny, E., Dsouza, A., Harer, K., Pei-Hsin Ho,, Ma, T.Volume:
2
Year:
2005
Language:
english
DOI:
10.1109/ASPDAC.2005.1466517
File:
PDF, 738 KB
english, 2005