Call Number | SEM-253 |
Collection Type | Indeks Artikel prosiding/Sem |
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 |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
SEM-253 | TERSEDIA |