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

researchr

You are not signed in
Sign in
Sign up

Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki. Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving. IEEE Access, 8:27291-27307, 2020. [doi]

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL