BibTeX record conf/iccsa/HuynhQB16

• > Home > conf/iccsa/HuynhQB16

@inproceedings{DBLP:conf/iccsa/HuynhQB16,
  author       = {Khai T. Huynh and
                  Tho Quan and
                  Thang H. Bui},
  editor       = {Osvaldo Gervasi and
                  Beniamino Murgante and
                  Sanjay Misra and
                  Ana Maria A. C. Rocha and
                  Carmelo Maria Torre and
                  David Taniar and
                  Bernady O. Apduhan and
                  Elena N. Stankova and
                  Shangguang Wang},
  title        = {Smaller to Sharper: Efficient Web Service Composition and Verification
                  Using On-the-fly Model Checking and Logic-Based Clustering},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2016 - 16th International
                  Conference, Beijing, China, July 4-7, 2016, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9789},
  pages        = {453--468},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42089-9\_32},
  doi          = {10.1007/978-3-319-42089-9\_32},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/HuynhQB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}