Namjoshi, Kedar S.
Kedar Sharadchandra Namjoshi Ph.D. University of Texas at Austin 1998
VIAF ID: 8586523 ( Personal )
Permalink: http://viaf.org/viaf/8586523
Preferred Forms
- 100 0 _ ‡a Kedar Sharadchandra Namjoshi ‡c Ph.D. University of Texas at Austin 1998
- 100 1 _ ‡a Namjoshi, Kedar S.
-
- 100 1 _ ‡a Namjoshi, Kedar S.
-
- 100 1 _ ‡a Namjoshi, Kedar S.
-
-
-
4xx's: Alternate Name Forms (1)
5xx's: Related Names (4)
- 510 2 _ ‡a ATVA 2007 (2007 : Tokyo, Japan)
- 510 2 _ ‡a Bell Laboratories
- 510 2 _ ‡a Bell Laboratories ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI; 7 (08-01-2006 - 10-01-2006 : Charleston, SC, USA)
Works
Title | Sources |
---|---|
ATVA 2007 | |
Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings | |
Hardware and software : verification and testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers | |
Verification, model checking, and abstract interpretation, 2006: |