Ronojoy Ghosh, Claire J. Tomlin. An algorithm for reachability computations on hybrid automata models of protein signaling networks. In 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, 13-15 December, 2006. pages 2256-2261, IEEE, 2004. [doi]
Abstract is missing.