Hybrid Systems III: Verification and Control - Alur, Rajeev; Henzinger, Thomas A; Sontag, Eduardo D (Springer, 1996)
published
yes
yes
Keywords: book