TY  - RPRT
TI  - Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
AU  - Lubos Brim
AU  - Jana Fabrikova
AU  - Sven Drazan
AU  - David Safranek
PY  - 2011
UR  - https://arxiv.org/abs/1107.5924
ID  - 1107.5924
ER  -