DaftarIsitemplate |
Call Number |
SEM-253 |
Title |
Proving correctness of a vehicle maneuver: deceleration, Hal. 196-203 |
Author |
Naney Lynch; H.B. Weinberg; |
Publisher |
Second European workshop on-real-time and hybrid systems wednesday May, 31, Thurday June 1st and Friday June 2nd 1995 |
Subject |
Location |