BibTeX record conf/fbt/RockSW98

download as .bib file

@inproceedings{DBLP:conf/fbt/RockSW98,
  author    = {Georg Rock and
               Werner Stephan and
               Andreas Wolpers},
  editor    = {Hartmut K{\"{o}}nig and
               Peter Langend{\"{o}}rfer},
  title     = {Assumption-Commitment Specifications and Safety-Critical Systems},
  booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
               GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
  pages     = {125--135},
  publisher = {Verlag Shaker},
  year      = {1998},
  timestamp = {Fri, 21 Oct 2016 15:01:17 +0200},
  biburl    = {https://dblp.org/rec/conf/fbt/RockSW98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics