Modeling and Verification of Agent based Adaptive Traffic Signal using Symbolic Model Verifier

Vivek Vishal, Sagar Gugwad, Sanjay Singh
  • International Journal of Computer Applications, September 2012, Foundation of Computer Science
  • DOI: 10.5120/8402-2321

The authors haven't finished explaining this publication. If you are the author, sign in to claim or explain your work.

Read Publication

http://dx.doi.org/10.5120/8402-2321

The following have contributed to this page: Sanjay Singh