Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings

Maria Domenica Di Benedetto Alberto L. Sangiovanni-Vincentelli Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings HSCC Lecture Notes in Computer Science 2034 Springer 2001 3-540-41866-0 db/conf/hybrid/hscc2001.html