DBLP Record 'conf/forte/YasumotoGTHT97'

BibTeX

@inproceedings{DBLP:conf/forte/YasumotoGTHT97,
  author    = {Keiichi Yasumoto and
               Kazuhiro Gotoh and
               Hiroki Tatsumoto and
               Teruo Higashino and
               Kenichi Taniguchi},
  title     = {Implementation of Distributed Systems described with LOTOS
               Multi-rendezvous on Bus Topology Networks},
  booktitle = {FORTE},
  year      = {1997},
  pages     = {161-176},
  crossref  = {DBLP:conf/forte/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/forte/1997,
  editor    = {Atsushi Togashi and
               Tadanori Mizuno and
               Norio Shiratori and
               Teruo Higashino},
  title     = {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},
  booktitle = {FORTE},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {107},
  year      = {1998},
  isbn      = {0-412-82060-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}