Acronyms von A bis Z
LNCS1386
-T.A. Henzinger/S. Sastry (Eds.): Hybrid Systems: Computation and Control. Proceedings, Springer-Verlag 1998
-T.A. Henzinger/S. Sastry (Eds.): Hybrid Systems: Computation and Control. Proceedings, Springer-Verlag 1998