@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Patrick Riley's publication pages at
@COMMENT http://www.cs.cmu.edu/~pfr/publications
@inproceedings{gunay_aamas_08,
  author    = {Ak{\i}n G\"unay and P{\i}nar Yolum},
  title     = {Semantic Matchmaking of Web Services using Model Checking},
  booktitle = {Proceedings of 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008)},
  year      = {2008},
  bib2html_rescat = {Service Semantics},
  pages     = {273-280}
}