Rajeev Alur
Articles populaires de Rajeev Alur
Afficher toutes les offres-
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Henzinger, Thomas; Alur, Rajeev
Prix des articles à partir de
Afficher les 9 offresEUR 40,75
-
Principles of Cyber-Physical Systems
Alur, Rajeev
Prix des articles à partir de
Afficher les 23 offresEUR 49,02
-
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Peled, Doron A.; Alur, Rajeev
Prix des articles à partir de
Afficher les 9 offresEUR 60,78
-
Hybrid Systems III: Verification and Control
Sontag, Eduardo D.; Henzinger, Thomas A.; Alur, Rajeev
Prix des articles à partir de
Afficher les 8 offresEUR 80,63
