Browsing by Author "Dhodapkar, S. D."
Now showing 1 - 2 of 2
Results Per Page
Sort Options
- Assertion checking environment (ACE) for formal verification of C programs(2003) Sharma, B.; Dhodapkar, S. D.; Ramesh, S.
- Visual modeling and verification of distributed reactive systems(2003) Iqbal, A.; Bhattacharjee, A. K.; Dhodapkar, S. D.