TY  - RPRT
TI  - Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (extended abstract)
AU  - L. Brim
AU  - J. Fabriková
AU  - S. Dražan
AU  - D. Šafránek
PY  - 2011
DO  - 10.4204/eptcs.67.9
UR  - https://arxiv.org/abs/1109.1649
ID  - 1109.1649
ER  -