BibTeX record conf/pstv/BudkowskiABDGLFS93

download as .bib file

  author    = {Stanislaw Budkowski and
               A. B. Alkhechi and
               Mohamed{-}Lyes Benalycherif and
               Piotr Dembinski and
               M. Gardie and
               E. Lallet and
               J. P. Mouchel La Fosse and
               Younes Souissi},
  editor    = {Andr{\'{e}} A. S. Danthine and
               Guy Leduc and
               Pierre Wolper},
  title     = {Formal Specification, Validation and Performance Evaluation of the
               Xpress Transfer Protocol},
  booktitle = {Protocol Specification, Testing and Verification XIII, Proceedings
               of the {IFIP} {TC6/WG6.1} Thirteenth International Symposium on Protocol
               Specification, Testing and Verification, Li{\`{e}}ge, Belgium, 25-28
               May, 1993},
  series    = {{IFIP} Transactions},
  volume    = {{C-16}},
  pages     = {191--206},
  publisher = {North-Holland},
  year      = {1993},
  timestamp = {Thu, 03 Jan 2002 12:07:47 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics