BibTeX record conf/ncm/QiLGWZ09

• > Home > conf/ncm/QiLGWZ09

@inproceedings{DBLP:conf/ncm/QiLGWZ09,
  author       = {Zhengwei Qi and
                  Alei Liang and
                  Haibing Guan and
                  Ming Wu and
                  Zheng Zhang},
  editor       = {Jinhwa Kim and
                  Dursun Delen and
                  Jinsoo Park and
                  Franz Ko and
                  Chen Rui and
                  Jong Hyung Lee and
                  Jian Wang and
                  Gang Kou},
  title        = {A Hybrid Model Checking and Runtime Monitoring Method for {C++} Web
                  Services},
  booktitle    = {International Conference on Networked Computing and Advanced Information
                  Management, {NCM} 2009, Fifth International Joint Conference on INC,
                  {IMS} and {IDC:} {INC} 2009: International Conference on Networked
                  Computing, {IMS} 2009: International Conference on Advanced Information
                  Management and Service, {IDC} 2009: International Conference on Digital
                  Content, Multimedia Technology and its Applications, Seoul, Korea,
                  August 25-27, 2009},
  pages        = {745--750},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/NCM.2009.191},
  doi          = {10.1109/NCM.2009.191},
  timestamp    = {Sat, 15 Apr 2023 17:50:33 +0200},
  biburl       = {https://dblp.org/rec/conf/ncm/QiLGWZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}