@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}
}

{"_id":"y7GGv9NrLQXekDiAs","bibbaseid":"gnay-yolum-servicematchmakingrevisitedanapproachbasedonmodelchecking-2010","authorIDs":["JAqmGZicdy6Q83SjG"],"author_short":["Günay, A.","Yolum, P."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Akin"],"propositions":[],"lastnames":["Günay"],"suffixes":[]},{"firstnames":["Pinar"],"propositions":[],"lastnames":["Yolum"],"suffixes":[]}],"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","bibtex":"@article{DBLP:journals/ws/GunayY10,\n author = {Akin G{\\\"{u}}nay and\n Pinar Yolum},\n title = {Service matchmaking revisited: An approach based on model checking},\n journal = {J. Web Semant.},\n volume = {8},\n number = {4},\n pages = {292--309},\n year = {2010},\n url = {https://doi.org/10.1016/j.websem.2010.08.007},\n doi = {10.1016/J.WEBSEM.2010.08.007},\n timestamp = {Tue, 29 Jan 2019 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/ws/GunayY10.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Günay, A.","Yolum, P."],"key":"DBLP:journals/ws/GunayY10","id":"DBLP:journals/ws/GunayY10","bibbaseid":"gnay-yolum-servicematchmakingrevisitedanapproachbasedonmodelchecking-2010","role":"author","urls":{"Paper":"https://doi.org/10.1016/j.websem.2010.08.007"},"metadata":{"authorlinks":{"yolum, p":"https://bibbase.org/show?msg=embed&bib=https://dblp.org/pid/31/4750.bib"}},"downloads":0},"bibtype":"article","biburl":"https://dblp.org/pid/31/4750.bib","creationDate":"2020-12-01T13:28:32.269Z","downloads":0,"keywords":[],"search_terms":["service","matchmaking","revisited","approach","based","model","checking","günay","yolum"],"title":"Service matchmaking revisited: An approach based on model checking","year":2010,"dataSources":["8EgZyj696oJkoT8iA","sCvpgbxjdDoaoWxjM"]}