Alur, R., Henzinger, T. A., & Sontag, E. D. (1996). Hybrid systems III: Verification and control. Berlin New York: Springer.
Παραπομπή Chicago StyleAlur, Rajeev, T. A. Henzinger, and Eduardo D. Sontag. Hybrid Systems III: Verification and Control. Berlin New York: Springer, 1996.
Παραπομπή MLAAlur, Rajeev, T. A. Henzinger, and Eduardo D. Sontag. Hybrid Systems III: Verification and Control. Berlin New York: Springer, 1996.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.