Khalid Abdulla, Andrew Wirth, et al.
ICIAfS 2014
Paper
Simulation of one abstract computing machine by another
Abstract
No abstract available.
Related
Leo Liberti, James Ostrowski
Journal of Global Optimization
Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
Lerong Cheng, Jinjun Xiong, et al.
ASP-DAC 2008