@inproceedings{Jobstm07c,
  author	= {Jobstmann, B. and Galler, S. and Weiglhofer, M. and Bloem, R.},
  title		= {Anzu: {A} Tool for Property Synthesis},
  booktitle	= {Computer Aided Verification (CAV)},
  year		= {2007},
  pages		= {258--262},
  URL		= {files/anzu.ps},
}