• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • Hybrid Systems III
  • Description
Language
  • Advanced
Cover Image
Read Now

Hybrid Systems III Verification and Control

Bibliographic Details
Main Author: Alur, Rajeev
Other Authors: Henzinger, Thomas, Sontag, Eduardo
Format: eBook
Language:English
Published: Berlin [u.a.] Springer 1996, 1996
Series:Lecture Notes in Computer Science
Online Access:
http://dx.doi.org/10.1007/BFb0020931?nosfx=y
Collection: Springer Lecture Notes Archiv 1964-1996 - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Staff View
Description
ISBN:9783540611554

Similar Items

  • Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
    by: Alur, Rajeev
    Published: (2004)
  • Hybrid Systems III : Verification and Control
    Published: (1996)
  • Verification and Control of Hybrid Systems : A Symbolic Approach
    by: Tabuada, Paulo
    Published: (2009)
  • Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
    by: Alur, Rajeev
    Published: (2004)
  • Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
    by: Alur, Rajeev
    Published: (1996)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...