Ramakrishnan, C.R.
VIAF ID: 33219486 ( Personal )
Permalink: http://viaf.org/viaf/33219486
Preferred Forms
-
- 100 1 0 ‡a Ramakrishnan, C. R.
-
- 100 1 _ ‡a Ramakrishnan, C. R. (sparse)
-
- 100 1 _ ‡a Ramakrishnan, C. R.
- 100 1 _ ‡a Ramakrishnan, C. R.
-
-
- 100 1 _ ‡a Ramakrishnan, C.R.
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
ETAPS 2008 | |
Model checking software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013 : proceedings | |
PADL 2002 | |
Practical aspects of declarative languages : 4th international symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002 : proceedings | |
TACAS 2008 | |
Tools and algorithms for the construction and analysis of systems : 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008 : proceedings |