@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
@TECHREPORT{Pinar-TR-CM-01,
  author = {P{\i}nar Yolum and Munindar P. Singh},
  title = {Synthesizing Finite State Machines for Communication
	Protocols},
  month = SEP,
  year = 2001,
  institution = {Department of Computer Science, North Carolina
		State University},
  number = {2001-06},
  type = {{TR}},
  address = {Raleigh},
  bib2html_rescat = {Commitments},
}