reactive synthesis
Recently Published Documents


TOTAL DOCUMENTS

206
(FIVE YEARS 56)

H-INDEX

25
(FIVE YEARS 3)

2022 ◽  
pp. 163683
Author(s):  
Linda Abbassi ◽  
David Mesguich ◽  
Loïc Coulomb ◽  
Geoffroy Chevallier ◽  
Romain Aries ◽  
...  

Author(s):  
Haoran Zou ◽  
Junxiao Chen ◽  
Xide Li ◽  
Yi Wen ◽  
Yiquan Fan ◽  
...  
Keyword(s):  

2021 ◽  
Vol 346 ◽  
pp. 117-134
Author(s):  
Shufang Zhu ◽  
Lucas M. Tabajara ◽  
Geguang Pu ◽  
Moshe Y. Vardi
Keyword(s):  

Author(s):  
Xide Li ◽  
Chuo Zhang ◽  
Haoran Zou ◽  
Lieqiang Xiong ◽  
Xiao Zheng ◽  
...  

Author(s):  
Haoran Zou ◽  
Junxiao Chen ◽  
Xide Li ◽  
Yi Wen ◽  
Yiquan Fan ◽  
...  
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document