BibTeX record conf/aciids/NakamatsuIN11

• > Home > conf/aciids/NakamatsuIN11

@inproceedings{DBLP:conf/aciids/NakamatsuIN11,
  author       = {Kazumi Nakamatsu and
                  Toshiaki Imai and
                  Haruhiko Nishimura},
  editor       = {Ngoc Thanh Nguyen and
                  Chonggun Kim and
                  Adam Janiak},
  title        = {Intelligent Safety Verification for Multi-car Elevator System Based
                  on {EVALPSN}},
  booktitle    = {Intelligent Information and Database Systems - Third International
                  Conference, {ACIIDS} 2011, Daegu, Korea, April 20-22, 2011, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6591},
  pages        = {496--505},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20039-7\_50},
  doi          = {10.1007/978-3-642-20039-7\_50},
  timestamp    = {Thu, 16 Mar 2023 20:00:28 +0100},
  biburl       = {https://dblp.org/rec/conf/aciids/NakamatsuIN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}