BibTeX record conf/fbt/FirleyGR98

download as .bib file

@inproceedings{DBLP:conf/fbt/FirleyGR98,
  author    = {Thomas Firley and
               Thomas Gehrke and
               Arend Rensink},
  editor    = {Hartmut K{\"{o}}nig and
               Peter Langend{\"{o}}rfer},
  title     = {Spezifikation eines RPC-Speichers mit der Sprache ProFun},
  booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
               GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages     = {136--147},
  publisher = {Verlag Shaker},
  year      = {1998},
  timestamp = {Tue, 19 Jul 2005 12:16:22 +0200},
  biburl    = {https://dblp.org/rec/conf/fbt/FirleyGR98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics