Efficient approximate reachability of state transition systems with local interactions (R)
Juvekar, Sudeep
Efficient approximate reachability of state transition systems with local interactions (R) - - Mumbai IIT 2007 - 47 p. 30 cm - .
Chakraborty, Supratik
Theses and Dissertations
Algorithms , Symbolic circuit analysis , Logic , Symbolic and mathematical
043:517.1:681.3.06Juv
Efficient approximate reachability of state transition systems with local interactions (R) - - Mumbai IIT 2007 - 47 p. 30 cm - .
Chakraborty, Supratik
Theses and Dissertations
Algorithms , Symbolic circuit analysis , Logic , Symbolic and mathematical
043:517.1:681.3.06Juv