Main » Synth-ICR » 2010 »

2010


Anthology ID:
2010.synthesis_series-2010Li
Year:
2010
BibTeX:
Download

doi dblp
Digital System Verification: A Combined Formal Methods and Simulation Framework
Lun Li | Mitchell A. Thornton