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

Powered by Koha