BibTeX record conf/forte/YasumotoGTHT97

download as .bib file

  author    = {Keiichi Yasumoto and
               Kazuhiro Gotoh and
               Hiroki Tatsumoto and
               Teruo Higashino and
               Kenichi Taniguchi},
  editor    = {Atsushi Togashi and
               Tadanori Mizuno and
               Norio Shiratori and
               Teruo Higashino},
  title     = {Implementation of Distributed Systems described with {LOTOS} Multi-rendezvous
               on Bus Topology Networks},
  booktitle = {Formal Description Techniques and Protocol Specification, Testing
               and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1}
               Joint International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols {(FORTE} {X)} and
               Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21
               November, 1997, Osaka, Japan},
  series    = {{IFIP} Conference Proceedings},
  volume    = {107},
  pages     = {161--176},
  publisher = {Chapman {\&} Hall},
  year      = {1997},
  timestamp = {Wed, 12 Feb 2003 15:40:21 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics