scholarly journals InterpChecker: Reducing State Space via Interpolations

Author(s):  
Zhao Duan ◽  
Cong Tian ◽  
Zhenhua Duan ◽  
C.-H. Luke Ong
Keyword(s):  
1991 ◽  
Vol 138 (1) ◽  
pp. 50 ◽  
Author(s):  
Leang S. Shieh ◽  
Xiao M. Zhao ◽  
John W. Sunkel
Keyword(s):  

2013 ◽  
Vol 58 (11) ◽  
pp. 1084-1091
Author(s):  
Yu.V. Bezvershenko ◽  
◽  
P.I. Holod ◽  

2009 ◽  
Vol 129 (12) ◽  
pp. 1187-1194 ◽  
Author(s):  
Jorge Ivan Medina Martinez ◽  
Kazushi Nakano ◽  
Kohji Higuchi

1984 ◽  
Author(s):  
R. P. Guidorzi ◽  
T. E. Bullock ◽  
G. Basile

Sign in / Sign up

Export Citation Format

Share Document