Hybrid systems III : verification and control


Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)
Bok Engelsk 1996

Detaljer

Bibliotek som har denne