BibTeX record conf/seke/AungP019

• > Home > conf/seke/AungP019

@inproceedings{DBLP:conf/seke/AungP019,
  author       = {Moe Nandi Aung and
                  Yati Phyo and
                  Kazuhiro Ogata},
  editor       = {Angelo Perkusich},
  title        = {Formal Specification and Model Checking of the Lim-Jeong-Park-Lee
                  Autonomous Vehicle Intersection Control Protocol {(S)}},
  booktitle    = {The 31st International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
                  2019},
  pages        = {159--208},
  publisher    = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year         = {2019},
  url          = {https://doi.org/10.18293/SEKE2019-021},
  doi          = {10.18293/SEKE2019-021},
  timestamp    = {Mon, 26 Jun 2023 20:48:16 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/AungP019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}