Mukund, Madhavan.
VIAF ID: 9352167 ( Personal )
Permalink: http://viaf.org/viaf/9352167
Preferred Forms
- 100 1 _ ‡a Mukund, Madhavan
-
- 100 1 _ ‡a Mukund, Madhavan (sparse)
- 100 1 0 ‡a Mukund, Madhavan
-
-
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings | |
Formal models, languages and applications | |
Foundations of Software Technology and Theoretical Computer Science | |
FST TCS 2001, c2001: |