BibTeX record conf/iccl2/YazdanpanahGS21

• > Home > conf/iccl2/YazdanpanahGS21

@inproceedings{DBLP:conf/iccl2/YazdanpanahGS21,
  author       = {Vahid Yazdanpanah and
                  Enrico H. Gerding and
                  Sebastian Stein},
  editor       = {Martijn Mes and
                  Eduardo Lalla{-}Ruiz and
                  Stefan Vo{\ss}},
  title        = {Formal Methods to Verify and Ensure Self-coordination Abilities in
                  the Internet of Vehicles},
  booktitle    = {Computational Logistics - 12th International Conference, {ICCL} 2021,
                  Enschede, The Netherlands, September 27-29, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13004},
  pages        = {410--425},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-87672-2\_27},
  doi          = {10.1007/978-3-030-87672-2\_27},
  timestamp    = {Thu, 15 Feb 2024 07:42:49 +0100},
  biburl       = {https://dblp.org/rec/conf/iccl2/YazdanpanahGS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}