Venkatesh P. Mysore, Ph.D.
Affiliations: | 2006 | New York University, New York, NY, United States |
Area:
Computer ScienceGoogle:
"Venkatesh Mysore"Parents
Sign in to add mentorBud Mishra | grad student | 2006 | NYU | |
(Algorithmic algebraic model checking: Hybrid automata and systems biology.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Asarin E, Mysore VP, Pnueli A, et al. (2012) Low dimensional hybrid systems - Decidable, undecidable, dont know Information and Computation. 211: 138-159 |