Media type: E-Book; Conference Proceedings Title: Hybrid Systems: Computation and Control : 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings Contributor: Alur, Rajeev [Author]; Pappas, George [Other] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 2004 Published in: Lecture notes in computer science ; 2993 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/b96398 ISBN: 9783540212591 Identifier: RVK notation: SS 4800 : Lecture notes in computer science Keywords: Hybrides System Origination: Footnote: