Correctness of Vehicle Control Systems: A Case Study
| dc.contributor.advisor | Lynch, Nancy A. | en_US |
| dc.contributor.author | Weinberg, Henri B. | en_US |
| dc.date.accessioned | 2023-03-29T15:27:03Z | |
| dc.date.available | 2023-03-29T15:27:03Z | |
| dc.date.issued | 1996-02 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149823 | |
| dc.relation.ispartofseries | MIT-LCS-TR-685 | |
| dc.title | Correctness of Vehicle Control Systems: A Case Study | en_US |
