TY  - RPRT
TI  - Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier
AU  - Vivek Vishal
AU  - Sagar Gugwad
AU  - Sanjay Singh
PY  - 2012
DO  - 10.5120/8402-2321
UR  - https://arxiv.org/abs/1208.3461
ID  - 1208.3461
ER  -