DBLP Record 'journals/gidr/Conrad94'

BibTeX

@article{DBLP:journals/gidr/Conrad94,
  author    = {Stefan Conrad},
  title     = {Ein Basiskalk{\"u}l f{\"u}r die Verifikation von Eigenschaften
               synchron interagierender Objekte},
  journal   = {GI Datenbank Rundbrief},
  volume    = {14},
  year      = {1994},
  pages     = {59},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}