BibTeX record conf/pricai/HuangWJC06

download as .bib file

@inproceedings{DBLP:conf/pricai/HuangWJC06,
  author    = {Wei Huang and
               Zhonghua Wen and
               Yunfei Jiang and
               Aixiang Chen},
  title     = {Comparison Between Two Languages Used to Express Planning Goals: \emph{CTL}
               and \emph{E}\({}_{\mbox{\emph{A}}}\)\emph{G}\({}_{\mbox{\emph{LE}}}\)},
  booktitle = {{PRICAI} 2006: Trends in Artificial Intelligence, 9th Pacific Rim
               International Conference on Artificial Intelligence, Guilin, China,
               August 7-11, 2006, Proceedings},
  pages     = {180--189},
  year      = {2006},
  crossref  = {DBLP:conf/pricai/2006},
  url       = {https://doi.org/10.1007/11801603\_21},
  doi       = {10.1007/11801603\_21},
  timestamp = {Thu, 12 Dec 2019 14:11:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pricai/HuangWJC06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pricai/2006,
  editor    = {Qiang Yang and
               Geoffrey I. Webb},
  title     = {{PRICAI} 2006: Trends in Artificial Intelligence, 9th Pacific Rim
               International Conference on Artificial Intelligence, Guilin, China,
               August 7-11, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4099},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/978-3-540-36668-3},
  doi       = {10.1007/978-3-540-36668-3},
  isbn      = {3-540-36667-9},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pricai/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics