Search Results - Tiwari, Ashish, 1973-
-
1
Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27-July 2, 2016, Proceedings /
Published 2016Other Authors: “…Tiwari, Ashish, 1973-…”
Full Text (via Springer)
Conference Proceeding eBook
-
2
Hybrid systems computation and control : 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006 : proceedings /
Published 2006Other Authors: “…Tiwari, Ashish, 1973-…”
Full Text (via Springer)
Electronic Conference Proceeding eBook