BibTeX record conf/forte/GehrkeHRW98

download as .bib file

  author    = {Thomas Gehrke and
               Michaela Huhn and
               Arend Rensink and
               Heike Wehrheim},
  editor    = {Stanislaw Budkowski and
               Ana R. Cavalli and
               Elie Najm},
  title     = {An Algebraic Semantics for Message Sequence Chart Documents},
  booktitle = {Formal Description Techniques and Protocol Specification, Testing
               and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
               Joint International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols {(FORTE} {XI)} and
               Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
               November, 1998, Paris, France},
  series    = {{IFIP} Conference Proceedings},
  volume    = {135},
  pages     = {3--18},
  publisher = {Kluwer},
  year      = {1998},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics