Finite State Verification of Intelligent Transportation Systems
Author(s): |
John W. Baugh
GopalaKrishna Reddy Kakivaya |
---|---|
Medium: | journal article |
Language(s): | English |
Published in: | Journal of Computing in Civil Engineering, January 2000, n. 1, v. 14 |
Page(s): | 38-50 |
DOI: | 10.1061/(asce)0887-3801(2000)14:1(38) |
- About this
data sheet - Reference-ID
10259324 - Published on:
29/12/2018 - Last updated on:
29/12/2018