Laboratory for Control, Learning, and Systems Biology

Papers by R. Alur and E.D. Sontag

1996
  1. R. Alur, T.A. Henzinger, E.D. Sontag, "Hybrid Systems III. Verification and Control (edited book)", Springer Verlag, Berlin, 1996.
    (LNCS 1066)