Journey — Rajeev Alur

Profile

Rajeev Alur: born 1966; India / USA.

Related theorems

• Timed automata

Pages

• Person: Rajeev Alur
• Journey: Rajeev Alur
• Transcripts: Rajeev Alur

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People