TY  - RPRT
TI  - Formal methods approach to the charging facility location problem for battery electric vehicles
AU  - Eagon, Matthew J.
AU  - Northrop, William F.
PY  - 2020
DO  - 10.1109/iv47402.2020.9304718
UR  - https://www.osti.gov/biblio/2406921
ID  - 2406921
ER  -