Ashvin Mark Dsouza
Original record- Institution
- Cornell University
- Year
- 1996
- Country
- United States
- MGP identifier
- 81287
Dissertation: Model Checking and Expressiveness for First-Order Process Algebras
Advisor 1
- Bard BloomMassachusetts Institute of Technology · 1989
Students 0
No students recorded in this snapshot.