MPG.eBooks - Author Search Results

Cover Image

1

Formal Methods in Computer-Aided Design : Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

by Gopalakrishnan, Ganesh
Published 1998

Springer-Verlag Berlin Heidelberg

Cover Image

2

Computation Engineering : Applied Automata Theory and Logic

by Gopalakrishnan, Ganesh
Published 2006

Springer US

Cover Image

3

Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Gopalakrishnan, Ganesh...”

Cover Image

4

Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

by Slind, Konrad
Published 2004

Springer Berlin Heidelberg

Other Authors: “...Gopalakrishnan, Ganesh C...”

Cover Image

5

Theorem Proving in Higher Order Logics : 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Gopalakrishnan, Ganesh C....”