@misc{indiciae077d96b24e98,
  title = {Formal methods approach to the charging facility location problem for battery electric vehicles},
  author = {Eagon, Matthew J. and Northrop, William F.},
  year = {2020},
  doi = {10.1109/iv47402.2020.9304718},
  url = {https://www.osti.gov/biblio/2406921},
  note = {Source identifier: 2406921}
}