MPG.eBooks - Search Results

Cover Image

1

Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

by Alur, Rajeev
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

by Alur, Rajeev
Published 2004

Springer Berlin Heidelberg

Cover Image

3

Embedded Software : Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings

by Alur, Rajeev
Published 2003

Springer Berlin Heidelberg

Cover Image

4

Hybrid Systems III : Verification and Control

Published 1996

Springer Berlin Heidelberg

Cover Image

5

Hybrid Systems III : Verification and Control

by Alur, Rajeev
Published 1996

Springer

Cover Image

6

Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

by Alur, Rajeev
Published 1996

Springer

Cover Image

7

Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Cover Image

8

Computer Aided Verification : 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings

Published 1996

Springer Berlin Heidelberg