@inproceedings{DBLP:conf/atal/GunayY08,
  author       = {Akin G{\"{u}}nay and
                  Pinar Yolum},
  editor       = {Lin Padgham and
                  David C. Parkes and
                  J{\"{o}}rg P. M{\"{u}}ller and
                  Simon Parsons},
  title        = {Semantic matchmaking of web services using model checking},
  booktitle    = {7th International Joint Conference on Autonomous Agents and Multiagent
                  Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume
                  1},
  pages        = {273--280},
  publisher    = {{IFAAMAS}},
  year         = {2008},
  url          = {https://dl.acm.org/citation.cfm?id=1402425},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/GunayY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NTHqEamTXACwsn3S8","bibbaseid":"gnay-yolum-semanticmatchmakingofwebservicesusingmodelchecking-2008","authorIDs":["JAqmGZicdy6Q83SjG"],"author_short":["Günay, A.","Yolum, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Akin"],"propositions":[],"lastnames":["Günay"],"suffixes":[]},{"firstnames":["Pinar"],"propositions":[],"lastnames":["Yolum"],"suffixes":[]}],"editor":[{"firstnames":["Lin"],"propositions":[],"lastnames":["Padgham"],"suffixes":[]},{"firstnames":["David","C."],"propositions":[],"lastnames":["Parkes"],"suffixes":[]},{"firstnames":["Jörg","P."],"propositions":[],"lastnames":["Müller"],"suffixes":[]},{"firstnames":["Simon"],"propositions":[],"lastnames":["Parsons"],"suffixes":[]}],"title":"Semantic matchmaking of web services using model checking","booktitle":"7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 1","pages":"273–280","publisher":"IFAAMAS","year":"2008","url":"https://dl.acm.org/citation.cfm?id=1402425","timestamp":"Fri, 30 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/atal/GunayY08.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atal/GunayY08,\n author = {Akin G{\\\"{u}}nay and\n Pinar Yolum},\n editor = {Lin Padgham and\n David C. Parkes and\n J{\\\"{o}}rg P. M{\\\"{u}}ller and\n Simon Parsons},\n title = {Semantic matchmaking of web services using model checking},\n booktitle = {7th International Joint Conference on Autonomous Agents and Multiagent\n Systems {(AAMAS} 2008), Estoril, Portugal, May 12-16, 2008, Volume\n 1},\n pages = {273--280},\n publisher = {{IFAAMAS}},\n year = {2008},\n url = {https://dl.acm.org/citation.cfm?id=1402425},\n timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/atal/GunayY08.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Günay, A.","Yolum, P."],"editor_short":["Padgham, L.","Parkes, D. C.","Müller, J. P.","Parsons, S."],"key":"DBLP:conf/atal/GunayY08","id":"DBLP:conf/atal/GunayY08","bibbaseid":"gnay-yolum-semanticmatchmakingofwebservicesusingmodelchecking-2008","role":"author","urls":{"Paper":"https://dl.acm.org/citation.cfm?id=1402425"},"metadata":{"authorlinks":{"yolum, p":"https://bibbase.org/show?msg=embed&bib=https://dblp.org/pid/31/4750.bib"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/31/4750.bib","creationDate":"2020-12-01T13:28:32.282Z","downloads":0,"keywords":[],"search_terms":["semantic","matchmaking","web","services","using","model","checking","günay","yolum"],"title":"Semantic matchmaking of web services using model checking","year":2008,"dataSources":["8EgZyj696oJkoT8iA","sCvpgbxjdDoaoWxjM"]}