Rajeev Alur (Q7285926)
Jump to navigation
Jump to search
American computer scientist
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rajeev Alur |
American computer scientist |
Statements
5 March 1966
0 references
1 reference
1 reference
1 reference
1 reference
2007
3 December 2007
For contributions to specification and verification of reactive and hybrid systems (English)
3
0 references
Rajeev Alur
0 references
Identifiers
1 reference
30 January 2019
Sitelinks
Wikipedia(3 entries)
- enwiki Rajeev Alur
- frwiki Rajeev Alur
- swwiki Rajeev Alur
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Rajeev Alur