Service matchmaking revisited: An approach based on model checking. Günay, A. & Yolum, P. J. Web Semant., 8(4):292–309, 2010.
Service matchmaking revisited: An approach based on model checking [link]Paper  doi  bibtex   
@article{DBLP:journals/ws/GunayY10,
  author       = {Akin G{\"{u}}nay and
                  Pinar Yolum},
  title        = {Service matchmaking revisited: An approach based on model checking},
  journal      = {J. Web Semant.},
  volume       = {8},
  number       = {4},
  pages        = {292--309},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.websem.2010.08.007},
  doi          = {10.1016/J.WEBSEM.2010.08.007},
  timestamp    = {Tue, 29 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ws/GunayY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0