Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving

Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki

Open source

DOI
10.1109/access.2020.2971661
Published
2020
Container
IEEE Access
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Open access
unknown

Credibility signals

uncertain Score 64/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.1109/access.2020.2971661,
  title = {Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving},
  author = {Adnan Rashid and Muhammad Umair and Osman Hasan and Mohamed H. Zaki},
  year = {2020},
  journal = {IEEE Access},
  doi = {10.1109/access.2020.2971661},
  url = {https://doi.org/10.1109/access.2020.2971661}
}

RIS

TY  - JOUR
TI  - Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving
AU  - Adnan Rashid
AU  - Muhammad Umair
AU  - Osman Hasan
AU  - Mohamed H. Zaki
PY  - 2020
JO  - IEEE Access
DO  - 10.1109/access.2020.2971661
UR  - https://doi.org/10.1109/access.2020.2971661
ER  -

APA

Rashid, A., Umair, M., Hasan, O., & Zaki, M. H. (2020). Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access. https://doi.org/10.1109/access.2020.2971661

Source records