Rajeev Alur

Digital Library

ACM Fellows

USA - 2007

citation

For contributions to the specification and verification of reactive and hybrid systems.