Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Paper
Simulation of one abstract computing machine by another
Related
Leo Liberti, James Ostrowski
Journal of Global Optimization
Conference paper
Performance test case generation for microprocessors
Pradip Bose
VTS 1998
Chi-Leung Wong, Zehra Sura, et al.
I-SPAN 2002