Releases med Ganesh Gopalakrishnan

Cover for Ganesh Gopalakrishnan · Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2011 edition] (2011)
Pocketbok
2011 edition
Computer Aided Verification: 23r...
Ganesh Gopalakrishnan
Cover for Ganesh Gopalakrishnan · Formal Methods in Computer-aided Design: Second International Conference, Fmcad '98, Palo Alto, Ca, Usa, November 4-6, 1998, Proceedings - Lecture Notes in Computer Science (Pocketbok) (1998)
Pocketbok
Formal Methods in Computer-aided...
Ganesh Gopalakrishnan