Formal specification and verification of the entry and exit maneuvers /

Bibliographic Details
Main Author:	Sachs, Sonia R.
Corporate Authors:	California. Department of Transportation, University of California, Berkeley. Institute of Transportation Studies, Partners for Advanced Transit and Highways (Calif.)
Other Authors:	Varaiya, P. P. (Pravin Pratap)
Format:	Book
Language:	English
Published:	Berkeley, Calif. : California PATH Program, Institute of Transportation Studies, University of California at Berkeley, [1996]
Series:	PATH research report. UCB-ITS-PRR-96-3.
Subjects:	Express highways > Automation. Automobiles > Automatic control. freeway ramps

Description
Item Description:	Research sponsored by the California Dept. of Transportation. "February 1996."
Physical Description:	3, 65 pages : illustrations ; 28 cm.
Bibliography:	Includes bibliographical references (page 25).
ISSN:	1055-1425 ;