BibTeX record: conf/forte/1997

download as .bib file

@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},
  series    = {{IFIP} Conference Proceedings},
  volume    = {107},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  isbn      = {0-412-82060-9},
  timestamp = {Wed, 12 Feb 2003 15:40:21 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}