@inproceedings{Jobstm06b,
  author	= {Jobstmann, B.},
  title		= {Property Synthesis},
  booktitle	= {SIGDA Ph.D. Forum at the Design Automation Conference (DAC)},
  address	= {San Francisco, California, USA},
  year		= {2006},
  URL		= {files/phdforum-application.pdf},
  pdf		= {files/phdforum-poster.pdf},
}