Aravinda Prasad Sistla (Q102312682)
Jump to navigation
Jump to search
Ph.D. Harvard University 1983
Language | Label | Description | Also known as |
---|---|---|---|
English | Aravinda Prasad Sistla |
Ph.D. Harvard University 1983 |
Statements
1979
1983
2 references
1 reference
19 January 2022
1 reference
2021
19 January 2022
For contributions to verifying concurrent programs, probabilistic systems, security, and database systems (English)
1 reference