APA (7th ed.) Citation

Sachs, S. R., & Varaiya, P. P. (1996). Formal specification and verification of the entry and exit maneuvers. California PATH Program, Institute of Transportation Studies, University of California at Berkeley.

Chicago Style (17th ed.) Citation

Sachs, Sonia R., and P. P. Varaiya. Formal Specification and Verification of the Entry and Exit Maneuvers. Berkeley, Calif.: California PATH Program, Institute of Transportation Studies, University of California at Berkeley, 1996.

MLA (9th ed.) Citation

Sachs, Sonia R., and P. P. Varaiya. Formal Specification and Verification of the Entry and Exit Maneuvers. California PATH Program, Institute of Transportation Studies, University of California at Berkeley, 1996.