T.A. Henzinger

Showing the single result

{PDF} Handbook of Networked and Embedded Control Systems R. Alur, K.-E. Arzen, John Baillieul, T.A. Henzinger, Dimitrios Hristu-Varsakelis, William S. Levine