BibTeX record conf/dasc/HasebeTK17

• > Home > conf/dasc/HasebeTK17

@inproceedings{DBLP:conf/dasc/HasebeTK17,
  author       = {Koji Hasebe and
                  Mitsuaki Tsuji and
                  Kazuhiko Kato},
  title        = {Deadlock Detection in the Scheduling of Last-Mile Transportation Using
                  Model Checking},
  booktitle    = {15th {IEEE} Intl Conf on Dependable, Autonomic and Secure Computing,
                  15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf
                  on Big Data Intelligence and Computing and Cyber Science and Technology
                  Congress, DASC/PiCom/DataCom/CyberSciTech 2017, Orlando, FL, USA,
                  November 6-10, 2017},
  pages        = {423--430},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/DASC-PICom-DataCom-CyberSciTec.2017.84},
  doi          = {10.1109/DASC-PICOM-DATACOM-CYBERSCITEC.2017.84},
  timestamp    = {Thu, 23 Mar 2023 23:59:48 +0100},
  biburl       = {https://dblp.org/rec/conf/dasc/HasebeTK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}