1
Hybrid Systems: Computation and Control [E-Book] : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings /
Other Personal Name(s): “...Alur, Rajeev...”

Full text 
Favorites
Saved in:
2
Computer Aided Verification [E-Book] : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings /
Other Personal Name(s): “...Alur, Rajeev...”

Full text 
Favorites
Saved in:
3
Embedded Software [E-Book] : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings /
Other Personal Name(s): “...Alur, Rajeev...”

Full text 
Favorites
Saved in:

Narrow Search Results