Static partial order reduction and model checking of hardware/software co-design systems

Download
2000
Yenigün, Hüsnü
Citation Formats
H. Yenigün, “Static partial order reduction and model checking of hardware/software co-design systems,” Ph.D. - Doctoral Program, Middle East Technical University, 2000.