Finite State Verification of Intelligent Transportation Systems
| Autor(en): |
John W. Baugh
GopalaKrishna Reddy Kakivaya |
|---|---|
| Medium: | Fachartikel |
| Sprache(n): | Englisch |
| Veröffentlicht in: | Journal of Computing in Civil Engineering, Januar 2000, n. 1, v. 14 |
| Seite(n): | 38-50 |
| DOI: | 10.1061/(asce)0887-3801(2000)14:1(38) |
- Über diese
Datenseite - Reference-ID
10259324 - Veröffentlicht am:
29.12.2018 - Geändert am:
29.12.2018
Structurae kooperiert mit
