BibTeX record conf/aici/ZhangLZ11

• > Home > conf/aici/ZhangLZ11

@inproceedings{DBLP:conf/aici/ZhangLZ11,
  author       = {Yuchao Zhang and
                  Guoqi Li and
                  Juan Zhang},
  editor       = {Hepu Deng and
                  Duoqian Miao and
                  Jingsheng Lei and
                  Fu Lee Wang},
  title        = {{QP} Based Framework for Development and Formal Verification of Flight
                  Control Software of {UAV}},
  booktitle    = {Artificial Intelligence and Computational Intelligence - Third International
                  Conference, {AICI} 2011, Taiyuan, China, September 24-25, 2011, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7002},
  pages        = {1--8},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23881-9\_1},
  doi          = {10.1007/978-3-642-23881-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/aici/ZhangLZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}