@phdthesis{926,
  author = {Jonathan Sprinkle},
  title = {Model Integrated Program Synthesis of Agent Interaction Protocols},
  year = {2000},
  journal = {Master's Thesis},
  month = {August},
  publisher = {Vanderbilt University},
  note = {Electrical Engineering},
  language = {eng},
}