A Problem-Reduction Approach to Proving Simulation Between Programs

1976 ◽  
Vol SE-2 (2) ◽  
pp. 87-96 ◽  
Author(s):  
A. Birman ◽  
W.H. Joyner
1988 ◽  
Author(s):  
Hu-chen Xie ◽  
Xiaoming Hua ◽  
Dia Jing ◽  
Fanlun Xiong ◽  
Fupei Hu ◽  
...  

IEEE Access ◽  
2021 ◽  
Vol 9 ◽  
pp. 119503-119519
Author(s):  
Ayse Elvan Aydemir ◽  
Tugba Taskaya Temizel ◽  
Alptekin Temizel ◽  
Kliment Preshlenov ◽  
Daniel M. Strahinov

2019 ◽  
Vol 170 ◽  
pp. 95-106 ◽  
Author(s):  
Nathan Lauzeral ◽  
Domenico Borzacchiello ◽  
Michael Kugler ◽  
Daniel George ◽  
Yves Rémond ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document