BibTeX record journals/ife/Kramer92

download as .bib file

@article{DBLP:journals/ife/Kramer92,
  author    = {Bernd J. Kr{\"{a}}mer},
  title     = {Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen},
  journal   = {Inform., Forsch. Entwickl.},
  volume    = {7},
  number    = {2},
  pages     = {62--72},
  year      = {1992},
  timestamp = {Wed, 01 Feb 2006 12:18:33 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ife/Kramer92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}