Rajeev Alur
4 published titles
Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings
(Contributor)
1 edition
- ISBN: 3540202234
- Springer
- 2003
- Details
Hybrid systems : computation and control : 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004 : proceedings
(Contributor)
1 edition
- ISBN: 3540212590
- Springer
- 2004
- Details
Computer aided verification : 16th international conference, CAV 2004
(Contributor)
1 edition
- ISBN: 3540223428
- Springer
- 2004
- Details
Principles of cyber-physical systems
1 edition
- ISBN: 9780262029117
- The MIT Press
- 2015
- Details
