BibTeX record journals/tecs/LinHLLJL19

download as .bib file

@article{DBLP:journals/tecs/LinHLLJL19,
  author       = {Yi{-}Ting Lin and
                  Hsiang Hsu and
                  Shang{-}Chien Lin and
                  Chung{-}Wei Lin and
                  Iris Hui{-}Ru Jiang and
                  Changliu Liu},
  title        = {Graph-Based Modeling, Scheduling, and Verification for Intersection
                  Management of Intelligent Vehicles},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {18},
  number       = {5s},
  pages        = {95:1--95:21},
  year         = {2019},
  url          = {https://doi.org/10.1145/3358221},
  doi          = {10.1145/3358221},
  timestamp    = {Tue, 08 Sep 2020 13:29:16 +0200},
  biburl       = {https://dblp.org/rec/journals/tecs/LinHLLJL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics