APA (7th ed.) Citation

DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems Rutgers university, New Jersey, Alur, R., Henzinger, T. A., & Sontag, E. D. (1996). Hybrid systems III: Verification and control. Springer.

Chicago Style (17th ed.) Citation

DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems Rutgers university, New Jersey, Rajeev Alur, Thomas A. Henzinger, and Eduardo D. Sontag. Hybrid Systems III: Verification and Control. Berlin: Springer, 1996.

MLA (9th ed.) Citation

DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems Rutgers university, New Jersey, et al. Hybrid Systems III: Verification and Control. Springer, 1996.