Gopalakrishnan, Ganesh
Gopalakrishnan, Ganesh Lalitha
VIAF ID: 18059674 ( Personal )
Permalink: http://viaf.org/viaf/18059674
Preferred Forms
-
- 100 1 _ ‡a Gopalakrishnan, Ganesh
-
-
-
- 100 1 0 ‡a Gopalakrishnan, Ganesh
- 100 1 _ ‡a Gopalakrishnan, Ganesh
-
- 100 1 _ ‡a Gopalakrishnan, Ganesh Lalitha
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Analyse statique pour le réglage de la précision numérique. | |
Automata and computability a programmer's perspective | |
CAV 2011 | |
Computation engineering : applied automata theory and logic | |
Computer aided verification : 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings | |
Fast and efficient bit-level precision tuning | |
Formal methods in computer-aided design, 1998: | |
Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings |