TY - DATA AU - Morari,Manfred AU - Rossi,Francesca AU - Thiele,Lothar ED - SpringerLink (Online service) TI - Hybrid Systems: Computation and Control (vol. # 3414): 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings T2 - Lecture Notes in Computer Science, SN - 9783540319542 PY - 2005/// CY - Berlin Heidelberg PB - Springer-Verlag GmbH. KW - Computer Science KW - Computer science KW - Computer simulation KW - Logic design KW - Software engineering KW - Computation by Abstract Devices KW - Logics and Meanings of Programs KW - Processor Architectures KW - Simulation and Modeling KW - Software Engineering KW - Special Purpose and Application-Based Systems UR - http://dx.doi.org/10.1007/b106766 ER -