On Approximative Reachability Analysis of Biochemical Dynamical Systems

Author(s):  
L. Brim ◽  
J. Fabriková ◽  
S. Dražan ◽  
D. Šafránek
1995 ◽  
Vol 138 (1) ◽  
pp. 35-65 ◽  
Author(s):  
Eugene Asarin ◽  
Oded Maler ◽  
Amir Pnueli

2018 ◽  
Vol 63 (7) ◽  
pp. 2003-2018 ◽  
Author(s):  
Ting Gan ◽  
Mingshuai Chen ◽  
Yangjia Li ◽  
Bican Xia ◽  
Naijun Zhan

Sign in / Sign up

Export Citation Format

Share Document