ICCBS Libraries
 WELCOME TO THE ICCBS LIBRARIES CATALOG

Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings / edited by Rajeev Alur, George J. Pappas. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

2.
Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings / edited by Rajeev Alur, Doron A. Peled. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

3.
Embedded Software Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings / edited by Rajeev Alur, Insup Lee. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

4.
Hybrid Systems III Verification and Control / edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

5.
Computer Aided Verification 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31- August 3, 1996 Proceedings / edited by Rajeev Alur, Thomas A. Henzinger. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Online access:
Availability: Items available for reference: ICCBS Digital Library : Not for loan (1).

Pages