An Algorithm for Reachability Computations on Hybrid Automata Models of Protein Signaling Networks

First Page		Document Content
Date: 2007-01-10 20:11:24 Computer science Hybrid automaton State transition system Model checking Formal languages Automata theory Models of computation Theoretical computer science		An Algorithm for Reachability Computations on Hybrid Automata Models of Protein Signaling Networks Add to Reading List Source URL: www.eecs.berkeley.edu Download Document from Source Website File Size: 568,67 KB Share Document on Facebook