BibTeX record conf/miwai/HuynhBQ16

download as .bib file

@inproceedings{DBLP:conf/miwai/HuynhBQ16,
  author    = {Khai T. Huynh and
               Thang H. Bui and
               Than{-}Tho Quan},
  editor    = {Chattrakul Sombattheera and
               Frieder Stolzenburg and
               Fangzhen Lin and
               Abhaya C. Nayak},
  title     = {{WSCOVER:} {A} Tool for Automatic Composition and Verification of
               Web Services Using Heuristic-Guided Model Checking and Logic-Based
               Clustering},
  booktitle = {Multi-disciplinary Trends in Artificial Intelligence - 10th International
               Workshop, {MIWAI} 2016, Chiang Mai, Thailand, December 7-9, 2016,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10053},
  pages     = {50--62},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-49397-8\_5},
  doi       = {10.1007/978-3-319-49397-8\_5},
  timestamp = {Thu, 17 Sep 2020 10:44:13 +0200},
  biburl    = {https://dblp.org/rec/conf/miwai/HuynhBQ16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics