scholarly journals The Second Reactive Synthesis Competition (SYNTCOMP 2015)

2016 ◽  
Vol 202 ◽  
pp. 27-57 ◽  
Author(s):  
Swen Jacobs ◽  
Roderick Bloem ◽  
Romain Brenguier ◽  
Robert Könighofer ◽  
Guillermo A. Pérez ◽  
...  
Keyword(s):  
1995 ◽  
Author(s):  
C Lantz ◽  
P Tefft ◽  
J Moore ◽  
D Ready

1993 ◽  
Vol 14 (6) ◽  
pp. 365
Author(s):  
René M. Cooper
Keyword(s):  

2009 ◽  
Vol 17 (12) ◽  
pp. 1041-1046 ◽  
Author(s):  
Haiyan Gao ◽  
Yuehui He ◽  
Peizhi Shen ◽  
Jin Zou ◽  
Nanping Xu ◽  
...  

Author(s):  
Tom Baumeister ◽  
Bernd Finkbeiner ◽  
Hazem Torfah
Keyword(s):  

1999 ◽  
Vol 54 (11) ◽  
pp. 38-39
Keyword(s):  

JOM ◽  
2018 ◽  
Vol 70 (10) ◽  
pp. 2230-2236 ◽  
Author(s):  
Cheng-cheng Liu ◽  
Xin Lu ◽  
Fei Yang ◽  
Jian-bo Tong ◽  
Wei Xu ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document