@article{BFDS2011,
 article_number = {67},
 author = {Luboš Brim and Jana Fabriková and Sven Dražan and David Šafránek},
 doi = {http://dx.doi.org/10.4204/EPTCS.67.9},
 issn = {2075-2180},
 journal = {Electronic Proceedings in Theoretical Computer Science},
 keywords = {abstraction; differential equations; reachability; systems biology},
 language = {eng},
 title = {Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation},
 url = {http://eptcs.org/content.cgi?CompMod2011},
 volume = {Neuveden},
 year = {2011}
}