Reachability in biochemical dynamical systems by quantitative discrete approximation (2011)

by doi 10 1016j tcs 2010 02 008 Brim, L Fabrikov√°, J Drazan, S, D Safranek
Venue:in Proceedings of Third International Workshop on Computational Models for Cell Processes, CompMod 2011 (EPTCS