DBLP BibTeX Record 'journals/ki/Antoniou89'

@article{DBLP:journals/ki/Antoniou89,
  author    = {Grigoris Antoniou},
  title     = {Bericht {\"u}ber den Workshop ``Verifikation, Konstruktion
               und Synthese von Programmen''},
  journal   = {KI},
  volume    = {3},
  number    = {3},
  year      = {1989},
  pages     = {23-24},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}