Musuvathi, Madanlal
VIAF ID: 173120149 ( Personal )
Permalink: http://viaf.org/viaf/173120149
Preferred Forms
-
- 100 1 _ ‡a Musuvathi, Madanlal
-
- 100 1 _ ‡a Musuvathi, Madanlal
- 100 1 _ ‡a Musuvathi, Madanlal
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Model checking software : 18th international SPIN workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings | |
SPIN 2011 |