1
Computer Aided Verification [E-Book] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings /
Other Personal Name(s): “...Gopalakrishnan, Ganesh....”

Full text  Full text 
Favorites
Saved in:
2
Computation Engineering [E-Book] : Applied Automata Theory and Logic /
Other Personal Name(s): “...Gopalakrishnan, Ganesh....”

Full text 
Favorites
Saved in:
3
Theorem Proving in Higher Order Logics [E-Book] : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings /
Other Personal Name(s): “...Gopalakrishnan, Ganesh C....”

Full text 
Favorites
Saved in:
4
Formal Methods in Computer-Aided Design [E-Book] : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings /
Other Personal Name(s): “...Gopalakrishnan, Ganesh....”

Full text 
Favorites
Saved in: