Skip to content

Correctness of vehicle control systems-a case study.

Henri B. Weinberg, Nancy A. Lynch

VenueARTSS
Year1996
ProceedingsRTSS

Browse the full RTSS paper archive.