BibTeX record conf/fbt/RockSW99

download as .bib file

@inproceedings{DBLP:conf/fbt/RockSW99,
  author    = {Georg Rock and
               Werner Stephan and
               Andreas Wolpers},
  editor    = {Katharina Spies and
               Bernhard Sch{\"{a}}tz},
  title     = {Modeling Dynamic Processes in {TLA}},
  booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 9.
               GI/ITG-Fachgespr{\"{a}}ch, M{\"{u}}nchen, Juni 1999},
  pages     = {185--192},
  publisher = {Herbert Utz Verlag},
  year      = {1999},
  timestamp = {Fri, 21 Oct 2016 15:01:17 +0200},
  biburl    = {https://dblp.org/rec/conf/fbt/RockSW99.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics